一様ノルム

数学の解析学の分野における一様ノルム（いちようノルム、）は、ある集合 "S" 上定義される有界な実または複素数値関数 "f" に対して、非負実数値
を割り当てるものである。このノルムは上限ノルム、チェビシェフノルムあるいは無限大ノルムなどとも呼ばれる。「一様ノルム」という名は、このノルムにより定められる距離についてある関数列 ("f""n") が "f" に収束することと、"f""n" が "f" に一様収束することが必要十分であるという事実による。
一様ノルムに下付きの "∞" が用いられているのは、"f" が連続なる限り "p"-次平均収束ノルム
が成り立つことによる。ここで "D" は "f" の定義域、積分は "D" が離散集合のときは単なる総和で置き換えられる。
有界でない関数 "f" をも考慮に入れるならば、上の定義は厳密な意味でのノルムあるいは距離を導くものではない。しかしいわゆる拡張距離が得られるので、それにより考える関数空間上に位相を定義することは可能である。
定義と簡単な性質.
適当な集合 "X" とノルム空間 ("Y", ǁ ⋅ ǁ"Y") に対し、"X" から "Y" への有界写像全体の成す写像空間を "M"("X", "Y") で表せば、写像
は "M"("X", "Y") 上のノルムを定める。この写像 ǁ ⋅ ǁ∞ を"M"("X", "Y") 上の上限ノルムと呼ぶ。各点のノルムの上限が無限大にならないために、有界性は本質的である。
最大値ノルム.
"f" が閉区間（あるいはより一般にコンパクト集合）上で定義される連続関数ならば、"f" は有界で、により上記定義における上限の値を実現するような点が区間内に存在する（上限値は最大値になる）から、上限の代わりに最大値をとることができる。この場合、一様ノルムは最大値ノルムとも呼ばれる。特に、有限次元座標空間におけるベクトル formula_5（これは有限集合 {1, …, "n"} 上の連続関数と見做せる）に対する一様ノルムは
の形に書ける。
一様構造.
二変数関数
は、ある特定の定義域上のすべての有界関数からなる空間（および、その任意の部分集合）上の距離となる。関数列 {"f""n" : "n" = 1, 2, 3, …} がある関数 "f" に一様収束するための必要十分条件は
が成り立つことである。この距離位相について閉集合および閉包を定めることが出来る; 一様ノルムについての閉集合は一様閉と呼ばれ、同様に閉包は一様閉包と呼ばれる。関数からなる集合 A の一様閉包は、A 上の一様収束する関数列により近似されるようなすべての関数からなる集合である。例えば、ストーン＝ワイエルシュトラスの定理の主張を「区間 ["a", "b"] 上のすべての連続関数からなる集合は、["a", "b"] 上の多項式すべてからなる集合の一様閉包である」という形に述べることができる。