定義と簡単な性質
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/30 23:39 UTC 版)
適当な集合 X とノルム空間 (Y, ǁ ⋅ ǁY) に対し、X から Y への有界写像全体の成す写像空間を M(X, Y) で表せば、写像 ‖ ⋅ ‖ ∞ : M ( X , Y ) → R ; f ↦ ‖ f ‖ ∞ := sup x ∈ X ‖ f ( x ) ‖ Y {\displaystyle \lVert \cdot \rVert _{\infty }\colon M(X,Y)\to \mathbb {R} ;\;f\mapsto \lVert f\rVert _{\infty }:=\sup _{x\in X}\lVert f(x)\rVert _{Y}} は M(X, Y) 上のノルムを定める。この写像 ǁ ⋅ ǁ∞ をM(X, Y) 上の上限ノルムと呼ぶ。各点のノルムの上限が無限大にならないために、有界性は本質的である。 終域 Y が完備（したがってバナッハ空間）ならば、空間 M(X, Y) は上限ノルムに関してバナッハ空間となる。 始域 X が有限でないならば、空間 M(X, Y) の上限ノルムに関する有界閉集合は必ずしもコンパクトでない。 始域 X が有限でないならば、空間 M(X, Y) のノルムで上限ノルムと位相的に同値でないようなものが存在する。 終域 Y が実数全体の成すノルム空間 R のとき、M(X, R) に属する関数には点ごとの和に加えて点ごとの積も定義されるが、上限ノルムはこの積に関して劣乗法的、すなわち ‖ f g ‖ ∞ ≤ ‖ f ‖ ∞ ‖ g ‖ ∞ {\displaystyle \lVert fg\rVert _{\infty }\leq \lVert f\rVert _{\infty }\,\lVert g\rVert _{\infty }} を満たす。即ち、この積と上限ノルムに関して M(X, Y) はバナッハ代数を成す。 コンパクト空間上の複素連続関数は、一様ノルムに関してC*-環を成す。
※この「定義と簡単な性質」の解説は、「一様ノルム」の解説の一部です。
「定義と簡単な性質」を含む「一様ノルム」の記事については、「一様ノルム」の概要を参照ください。
定義と簡単な性質
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/26 18:32 UTC 版)
下三角行列または左三角行列は L = [ ℓ 1 , 1 ⋯ 0 ℓ 2 , 1 ℓ 2 , 2 ℓ 3 , 1 ℓ 3 , 2 ⋱ ⋮ ⋮ ⋮ ⋱ ⋱ ℓ n , 1 ℓ n , 2 ⋯ ℓ n , n − 1 ℓ n , n ] {\displaystyle L={\begin{bmatrix}\ell _{1,1}&&\cdots &&0\\\ell _{2,1}&\ell _{2,2}&&&\\\ell _{3,1}&\ell _{3,2}&\ddots &&\vdots \\\vdots &\vdots &\ddots &\ddots &\\\ell _{n,1}&\ell _{n,2}&\dotsb &\ell _{n,n-1}&\ell _{n,n}\end{bmatrix}}} なる形に書ける行列を言い、同様に上三角行列または右三角行列は U = [ u 1 , 1 u 1 , 2 u 1 , 3 … u 1 , n u 2 , 2 u 2 , 3 … u 2 , n ⋮ ⋱ ⋱ ⋮ ⋱ u n − 1 , n 0 ⋯ u n , n ] {\displaystyle U={\begin{bmatrix}u_{1,1}&u_{1,2}&u_{1,3}&\ldots &u_{1,n}\\&u_{2,2}&u_{2,3}&\ldots &u_{2,n}\\\vdots &&\ddots &\ddots &\vdots \\&&&\ddots &u_{n-1,n}\\0&&\cdots &&u_{n,n}\end{bmatrix}}} の形に書けるものをいう。ここで用いたような、下三角行列を変数 L（left or lower の略）や上三角行列を変数 U（upper の略）または R（right の略）で表す用法が一般的にしばしば用いられる。 上半かつ下半三角な行列は対角行列といい、また三角行列に相似な行列は三角化可能であると言う。 上三角（resp. 下三角）であるという性質は様々な行列演算に関して保たれる: 二つの上（resp. 下）三角行列の和は上（resp. 下）三角行列である; 二つの上（resp. 下）三角行列の積は上（resp. 下）三角行列である; 正則上（resp. 下）三角行列の逆行列は上（resp. 下）三角である; 上（resp. 下）三角のスカラー倍は上（resp. 下）三角である。 これらの事実により、与えられたサイズの上（resp. 下）三角行列の全体は、同じサイズの正方行列の成す結合多元環（行列環）の部分多元環を成すことがわかる。さらに加えて、リー括弧積を交換子 [A, B] := AB − BA を与えれば、同じサイズの正方行列全体の成すリー環の部分リー環としても見ることもできる。この上（resp. 下）三角行列全体の成すリー環は可解リー環であり、またしばしば全行列リー環のボレル部分リー環（英語版）とも呼ばれる。 上記の記述においては下半と上半を混ぜた演算を行ってはならない（その場合、一般には三角行列にならない）。例えば上三角行列と下三角行列の和は任意の行列となり得るし、下三角行列と上三角行列との積も三角行列でないものになり得る。 「アフィン群」も参照
※この「定義と簡単な性質」の解説は、「三角行列」の解説の一部です。
「定義と簡単な性質」を含む「三角行列」の記事については、「三角行列」の概要を参照ください。
- 定義と簡単な性質のページへのリンク
