最大値ノルムとは? わかりやすく解説

一様ノルム

(最大値ノルム から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/11/30 23:39 UTC 版)

ナビゲーションに移動 検索に移動
R2 上の最大値ノルム一定な点の軌跡は、図のような黒い正方形を描く。

数学解析学の分野における一様ノルム(いちようノルム、英語: Uniform norm)は、ある集合 S 上定義される有界なまたは複素数値関数 f に対して、非負実数値

を割り当てるものである。このノルムは上限ノルムチェビシェフノルムあるいは無限大ノルムなどとも呼ばれる。「一様ノルム」という名は、このノルムにより定められる距離についてある関数列 (fn) が f に収束することと、fnf一様収束することが必要十分であるという事実による[1]

一様ノルムに下付きの "∞" が用いられているのは、f が連続なる限り p-次平均収束ノルム

が成り立つことによる。ここで Df の定義域、積分は D離散集合のときは単なる総和で置き換えられる。

有界でない関数 f をも考慮に入れるならば、上の定義は厳密な意味でのノルムあるいは距離を導くものではない。しかしいわゆる拡張距離が得られるので、それにより考える関数空間上に位相を定義することは可能である。

定義と簡単な性質

適当な集合 Xノルム空間 (Y, ǁ ⋅ ǁY) に対し、X から Y への有界写像全体の成す写像空間を M(X, Y) で表せば、写像

M(X, Y) 上のノルムを定める。この写像 ǁ ⋅ ǁM(X, Y) 上の上限ノルムと呼ぶ。各点のノルムの上限が無限大にならないために、有界性は本質的である。

  • 終域 Y完備(したがってバナッハ空間)ならば、空間 M(X, Y) は上限ノルムに関してバナッハ空間となる。
  • 始域 X が有限でないならば、空間 M(X, Y) の上限ノルムに関する有界閉集合は必ずしもコンパクトでない。
  • 始域 X が有限でないならば、空間 M(X, Y) のノルムで上限ノルムと位相的に同値でないようなものが存在する。
  • 終域 Y が実数全体の成すノルム空間 R のとき、M(X, R) に属する関数には点ごとの和に加えて点ごとの積も定義されるが、上限ノルムはこの積に関して劣乗法的、すなわち
    を満たす。即ち、この積と上限ノルムに関して M(X, Y) はバナッハ代数を成す。
  • コンパクト空間上の複素連続関数は、一様ノルムに関してC*-環を成す。

最大値ノルム

f閉区間(あるいはより一般にコンパクト集合)上で定義される連続関数ならば、f は有界で、ワイエルシュトラスの定理英語版により上記定義における上限の値を実現するような点が区間内に存在する(上限値は最大値になる)から、上限の代わりに最大値をとることができる。この場合、一様ノルムは最大値ノルムとも呼ばれる。特に、有限次元座標空間におけるベクトル (これは有限集合 {1, …, n} 上の連続関数と見做せる)に対する一様ノルムは

の形に書ける。

一様構造

二変数関数

は、ある特定の定義域上のすべての有界関数からなる空間(および、その任意の部分集合)上の距離となる。関数列 {fn : n = 1, 2, 3, …} がある関数 f に一様収束するための必要十分条件は

が成り立つことである。この距離位相について閉集合および閉包を定めることが出来る; 一様ノルムについての閉集合は一様閉と呼ばれ、同様に閉包は一様閉包と呼ばれる。関数からなる集合 A の一様閉包は、A 上の一様収束する関数列により近似されるようなすべての関数からなる集合である。例えば、ストーン=ワイエルシュトラスの定理の主張を「区間 [a, b] 上のすべての連続関数からなる集合は、[a, b] 上の多項式すべてからなる集合の一様閉包である」という形に述べることができる。

関連項目

  1. ^ (Rudin 1964, p. 151)

参考文献

  • Rudin, Walter (1964). Principles of Mathematical Analysis. New York: McGraw-Hill. pp. 151. ISBN 0-07-054235-X. 
  • Werner, Dirk (2007). Funktionalanalysis. 6 (corrected ed.). Berlin: Springer-Verlag. p. 3. ISBN 978-3-540-72533-6. 

最大値ノルム

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/11/30 23:39 UTC 版)

一様ノルム」の記事における「最大値ノルム」の解説

f が閉区間(あるいはより一般にコンパクト集合上で定義される連続関数ならば、f は有界で、ワイエルシュトラスの定理英語版)により上記定義における上限の値を実現するような点が区間内存在する上限値最大値になる)から、上限代わりに最大値をとることができる。この場合一様ノルムは最大値ノルムとも呼ばれる。特に、有限次元座標空間におけるベクトル x = ( x 1 , … , x n ) {\displaystyle x=(x_{1},\dots ,x_{n})} (これは有限集合 {1, …, n} 上の連続関数と見做せる)に対す一様ノルムは ‖ x ‖ ∞ = max { | x 1 | , … , | x n | } {\displaystyle \|x\|_{\infty }=\max\{|x_{1}|,\dots ,|x_{n}|\}} の形に書ける。

※この「最大値ノルム」の解説は、「一様ノルム」の解説の一部です。
「最大値ノルム」を含む「一様ノルム」の記事については、「一様ノルム」の概要を参照ください。

ウィキペディア小見出し辞書の「最大値ノルム」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「最大値ノルム」の関連用語

最大値ノルムのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



最大値ノルムのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの一様ノルム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの一様ノルム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS