ブラウザよりも高速アクセス！
51 関係: 加群の直和、劣加法性、半ノルム、単射、双対ベクトル空間、実数、完備距離空間、局所コンパクト空間、局所凸位相ベクトル空間、上限、三角不等式、一様ノルム、位相空間、併呑集合、圏 (数学)、ノルム、バナッハ空間、リースの補題、ルベーグ積分、ルベーグ測度、ベクトル空間、ケンブリッジ大学出版局、コンパクト空間、内積、凸集合、商線型空間、全射、空間 (数学)、空間ベクトル、等長写像、線型代数学、線型位相空間、線型写像、絶対値、複素数、計量ベクトル空間、距離函数、近傍系、関数の台、関数解析学、零ベクトル、連続写像、連続線形作用素、Lp空間、P進付値、極限、測度論、斉次函数、擬距離空間、数学、...、数ベクトル空間。 インデックスを展開 (1 もっと) »
加群の直和
抽象代数学における直和（ちょくわ、direct sum）は、いくつかの加群を一つにまとめて新しい大きな加群にする構成である。加群の直和は、与えられた加群を「不必要な」制約なしに部分加群として含む最小の加群であり、余積の例である。双対概念であると対照をなす。 この構成の最もよく知られた例はベクトル空間（体上の加群）やアーベル群（整数環 Z 上の加群）を考えるときに起こる。構成はバナッハ空間やヒルベルト空間をカバーするように拡張することもできる。.
新しい！!: ノルム線型空間と加群の直和 · 続きを見る »
劣加法性
数学の分野における劣加法性（れつかほうせい、）とは、大まかに言うと、定義域に含まれる二つの元の和についての関数の値が、それら各元についての関数の値の和よりも常に小さいか等しい、という性質のことを言う。数学の様々な研究領域、特にノルムや平方根などに関する領域において、数多くの劣加法的関数の例が知られている。加法的関数は、劣加法的関数の特別な場合である。.
新しい！!: ノルム線型空間と劣加法性 · 続きを見る »
半ノルム
2 の半ノルムになる 数学の特に線型代数学および函数解析学における半ノルム（はんのるむ、semi­norm, semi-norm; セミノルム）は、ベクトル空間上で定義される絶対斉次劣加法的函数で、正定値と制約しないことによるノルムの一般化である。 半ノルムの値は非負かつ符号反転に関して対称であり、函数として かつ凸である。 各半ノルムには、適当な剰余類をとる商構成に誘導されるノルムが付随する。半ノルムからなる族を用いて、局所凸線型空間を定義することができる。.
新しい！!: ノルム線型空間と半ノルム · 続きを見る »
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
新しい！!: ノルム線型空間と単射 · 続きを見る »
双対ベクトル空間
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、dual vector space）あるいは単に双対空間（そうついくうかん、dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。.
新しい！!: ノルム線型空間と双対ベクトル空間 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
新しい！!: ノルム線型空間と実数 · 続きを見る »
完備距離空間
位相空間論あるいは解析学において、距離空間 M が完備（かんび、complete）またはコーシー空間（コーシーくうかん、Cauchy space）であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。 直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 Q は完備でないが、これは例えば 2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので Q からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。.
新しい！!: ノルム線型空間と完備距離空間 · 続きを見る »
局所コンパクト空間
数学において、位相空間 が局所コンパクト（きょくしょコンパクト、）というのは、雑に言って、 の各点の近傍ではコンパクトであるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う重要な位相空間の多くが局所コンパクトである。特に局所コンパクトなハウスドルフ空間は数学の中で重要な位置を占める。.
新しい！!: ノルム線型空間と局所コンパクト空間 · 続きを見る »
局所凸位相ベクトル空間
関数解析学および関連する数学の分野において、局所凸位相ベクトル空間（きょくしょとついそうベクトルくうかん、）あるいは局所凸空間（locally convex space）は、ノルム空間を一般化する位相ベクトル空間（TVS）の例である。それらは、均衡かつ併呑な凸集合の平行移動によって位相が生成されるような位相ベクトル空間として定義される。または代わりに、それらは半ノルムの族を伴うベクトル空間として定義され、その族に関して位相を定義することが出来る。一般にこのような空間は必ずしもノルム化可能ではないが、零ベクトルに対する凸局所基の存在はハーン＝バナッハの定理の成立を保証する上で十分に強く、その結果として連続線型汎函数に関する豊富な理論がもたらされた。 フレシェ空間は、距離化可能かつその距離に関して完備であるような局所凸空間である。それらは、ノルムに関する完備ベクトル空間であるようなバナッハ空間の一般化である。.
新しい！!: ノルム線型空間と局所凸位相ベクトル空間 · 続きを見る »
上限
上限(じょうげん).
新しい！!: ノルム線型空間と上限 · 続きを見る »
三角不等式
数学における三角不等式（さんかくふとうしき、triangle inequality）は、任意の三角形に対してその任意の二辺の和が残りの一辺よりも大きくなければならないことを述べるものである。三角形の三辺が で最大辺が とすれば、三角不等式は が成り立つことを主張している.
新しい！!: ノルム線型空間と三角不等式 · 続きを見る »
一様ノルム
'''R'''2 上の最大値ノルム一定な点の軌跡は、図のような黒い正方形を描く。 数学の解析学の分野における一様ノルム（いちようノルム、）は、ある集合 S 上定義される有界な実または複素数値関数 f に対して、非負実数値 を割り当てるものである。このノルムは上限ノルム、チェビシェフノルムあるいは無限大ノルムなどとも呼ばれる。「一様ノルム」という名は、このノルムにより定められる距離についてある関数列 (fn) が f に収束することと、fn が f に一様収束することが必要十分であるという事実による。 一様ノルムに下付きの "∞" が用いられているのは、f が連続なる限り p-次平均収束ノルム が成り立つことによる。ここで D は f の定義域、積分は D が離散集合のときは単なる総和で置き換えられる。 有界でない関数 f をも考慮に入れるならば、上の定義は厳密な意味でのノルムあるいは距離を導くものではない。しかしいわゆる拡張距離が得られるので、それにより考える関数空間上に位相を定義することは可能である。.
新しい！!: ノルム線型空間と一様ノルム · 続きを見る »
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
新しい！!: ノルム線型空間と位相空間 · 続きを見る »
併呑集合
数学の関数解析学関連分野においてベクトル空間の部分集合が併呑集合（へいどんしゅうごう、）とは、その部分集合を「膨張」させて空間の任意の点を含むようにできるものを言う。.
新しい！!: ノルム線型空間と併呑集合 · 続きを見る »
圏 (数学)
数学の一分野である圏論において中核的な概念を成す圏（けん、category）は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい（相等）とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり（それよりも緩いでさえ強すぎる）、圏同値がしばしば考慮される（二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる）。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.
新しい！!: ノルム線型空間と圏 (数学) · 続きを見る »
ノルム
解析学において、ノルム (norm, Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。.
新しい！!: ノルム線型空間とノルム · 続きを見る »
バナッハ空間
数学におけるバナッハ空間（バナッハくうかん、Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。 解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 ''L''''p''-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。.
新しい！!: ノルム線型空間とバナッハ空間 · 続きを見る »
リースの補題
数学の関数解析学の分野におけるリースの補題（リースのほだい、）は、リース・フリジェシュの名にちなむ補題である。この補題は、ノルム線型空間の中の線型部分空間が稠密であるための条件を明示するものである。「リース補題」（Riesz lemma）や「リース不等式」（Riesz inequality）と呼ばれることもある。内積空間でない場合は、直交性の代わりと見なすことも出来る。.
新しい！!: ノルム線型空間とリースの補題 · 続きを見る »
ルベーグ積分
数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと 軸の間の面積と見なすことができる。ルベーグ積分（ルベーグせきぶん、Lebesgue integral）は、より多くの関数を積分できるように拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。 数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかしながら、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。 ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまたの中枢部でもある。 ルベーグ積分 (Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線の部分集合上定義された関数を積分するという特定の場合を意味することもある。.
新しい！!: ノルム線型空間とルベーグ積分 · 続きを見る »
ルベーグ測度
数学におけるルベーグ測度（ルベーグそくど、Lebesgue measure）は、ユークリッド空間上の長さ、面積、体積の概念を拡張したものである。名称はフランスの数学者アンリ・ルベーグにちなむ。体積には「互いに素な集合の体積は元の体積の和に等しい」という性質（加法性）がある。この性質を保ちながらより複雑な集合に対しても「体積」を定めることができるよう体積の概念を拡張できる。このような拡張は一意である。実解析、特にルベーグ積分で用いられる。体積と同様ルベーグ測度は値として をとりうる。解析学で普通に考えられるような集合に対してはルベーグ測度が与えられるものと考えてよいが、選択公理によって の部分集合でルベーグ測度を与えることができない（無理に与えると加法性が成り立たない）ものが存在することを証明できる。ルベーグ測度が与えられる集合はルベーグ可測であるという。以下の説明ではルベーグ可測な集合 の測度を で表す。.
新しい！!: ノルム線型空間とルベーグ測度 · 続きを見る »
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: ノルム線型空間とベクトル空間 · 続きを見る »
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: ノルム線型空間とケンブリッジ大学出版局 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: ノルム線型空間とコンパクト空間 · 続きを見る »
内積
線型代数学における内積（ないせき、inner product）は、（実または複素）ベクトル空間上で定義される非退化かつ正定値のエルミート半双線型形式（実係数の場合には対称双線型形式）のことである。二つのベクトルに対してある数（スカラー）を定める演算であるためスカラー積（スカラーせき、scalar product）ともいう。内積を備えるベクトル空間は内積空間と呼ばれ、内積の定める計量を持つ幾何学的な空間と見做される。エルミート半双線型形式の意味での内積はしばしば、エルミート内積またはユニタリ内積と呼ばれる。.
新しい！!: ノルム線型空間と内積 · 続きを見る »
凸集合
ユークリッド空間における物体が凸（とつ、convex）であるとは、その物体に含まれる任意の二点に対し、それら二点を結ぶ線分上の任意の点がまたその物体に含まれることを言う。例えば中身のつまった立方体は凸であるが、例えば三日月形のように窪みや凹みのあるものは何れも凸でない。は凸集合の境界を成す。 凸集合の概念は後で述べるとおり他の空間へも一般化することができる。.
新しい！!: ノルム線型空間と凸集合 · 続きを見る »
商線型空間
線型代数学において商線型空間（しょうせんけいくうかん、quotient vector space）あるいは単に商空間 (quotient space) とは、ベクトル空間 V とその部分線型空間 N に対して、N に属する全てのベクトルを 0 に「潰して」得られるベクトル空間である。これを部分空間 N による V の商空間あるいは N を法とする V の商空間といい、V/N で表す。.
新しい！!: ノルム線型空間と商線型空間 · 続きを見る »
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
新しい！!: ノルム線型空間と全射 · 続きを見る »
空間 (数学)
数学における空間（くうかん、space）は、集合に適当な数学的構造を加味したものをいう。 現代数学における「空間」の扱いは、古典的な扱いと比べると、極めて異なる。 数学的空間は（ある空間のクラスが基となる空間のクラスの特徴を全て受け継ぐという意味で）しばしば階層構造を示す。例えば、任意の内積空間は、‖x‖2.
新しい！!: ノルム線型空間と空間 (数学) · 続きを見る »
空間ベクトル
間ベクトル（くうかんベクトル、Vektor, vector, vector, 「運搬者、運ぶもの」より）は、大きさと向きを持った量である。ベクタ、ベクターともいう。漢字では有向量と表記される。ベクトルで表される量をベクトル量と呼ぶ。 例えば、速度や加速度、力はベクトルである。平面上や空間内の矢印（有向線分）として幾何学的にイメージされる。ベクトルという用語はハミルトンによってスカラーなどの用語とともに導入された。スカラーはベクトルとは対比の意味を持つ。 この記事では、ユークリッド空間内の幾何ベクトル、とくに 3次元のものについて扱い、部分的に一般化・抽象化された場合について言及する。本項目で特に断り無く空間と呼ぶときは、3次元実ユークリッド空間のことを指す。.
新しい！!: ノルム線型空間と空間ベクトル · 続きを見る »
等長写像
数学、とくに幾何学において等長写像（とうちょうしゃぞう）または等距離写像（とうきょりしゃぞう）とは、"長さ" を変えない（距離を保つ、distance preserving）写像のことである。全単射であるものに限って等長写像 (isometry) という場合もある。.
新しい！!: ノルム線型空間と等長写像 · 続きを見る »
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
新しい！!: ノルム線型空間と線型代数学 · 続きを見る »
線型位相空間
数学における線型位相空間（せんけいいそうくうかん、）とは、ベクトル空間の構造（線型演算）とその構造に両立する位相構造を持ったもののことである。係数体は実数体 R や複素数体 C などの位相体であり、ベクトルの加法やスカラー倍などの演算が連続写像になっていることが要請される。線型位相空間においては、通常のベクトル空間におけるような代数的な操作に加えて、興味のあるベクトルを他のベクトルで近似することが可能になり、関数解析学における基本的な枠組みが与えられる。 ベクトル空間の代数的な構造はその次元のみによって完全に分類されるが、特に無限次元のベクトル空間に対してその上に考えられる位相には様々なものがある。有限次元の実・複素ベクトル空間上の、意義のある位相はそれぞれの空間に対して一意的に決まってしまうことから、この多様性は無限次元に特徴的なものといえる。.
新しい！!: ノルム線型空間と線型位相空間 · 続きを見る »
線型写像
数学の特に線型代数学における線型変換（せんけいへんかん、linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、linear mapping）は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、linear operator）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、linear form, one-form; 線型形式; 1-形式）とも呼ばれる一次の微分形式（一次微分形式もしくは微分一次形式; differential one-form）を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.
新しい！!: ノルム線型空間と線型写像 · 続きを見る »
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
新しい！!: ノルム線型空間と絶対値 · 続きを見る »
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
新しい！!: ノルム線型空間と複素数 · 続きを見る »
計量ベクトル空間
線型代数学における計量ベクトル空間（けいりょうベクトルくうかん、metric vector space）は、内積と呼ばれる付加的な構造を備えたベクトル空間であり、内積空間（ないせきくうかん、inner product space）とも呼ばれる。この付加構造は、空間内の任意の二つのベクトルに対してベクトルの内積と呼ばれるスカラーを対応付ける。内積によって、ベクトルの長さや二つのベクトルの間の角度などの直観的な幾何学的概念に対する厳密な導入が可能になる。また内積が零になることを以ってベクトルの間の直交性に意味を持たせることもできる。内積空間は、内積として点乗積（スカラー積）を備えたユークリッド空間を任意の次元（無限次元でもよい）のベクトル空間に対して一般化するもので、特に無限次元のものは函数解析学において研究される。 内積はそれに付随するノルムを自然に導き、内積空間はノルム空間の構造を持つ。内積に付随するノルムの定める距離に関して完備となる空間はヒルベルト空間と呼ばれ、必ずしも完備でない内積空間は（内積の導くノルムに関する完備化がヒルベルト空間となるから）前ヒルベルト空間 (pre-Hilbert space) と呼ばれる。複素数体上の内積空間はしばしばユニタリ空間 (unitary spaces) とも呼ばれる。.
新しい！!: ノルム線型空間と計量ベクトル空間 · 続きを見る »
距離函数
距離函数（きょりかんすう、distance function）、距離計量（きょりけいりょう）あるいは単に距離（きょり、distance）、計量（けいりょう、metric）は、集合の二点間の距離を定義する函数である。距離が定義されている集合を距離空間（きょりくうかん、metric space）と呼ぶ。距離はその集合上の位相（距離位相）を誘導するが、必ずしもすべての位相空間が距離位相によって生成されるわけではない。ある位相空間の位相を距離によって記述することができるとき、その位相空間は距離化可能 (metrizable) であるという。.
新しい！!: ノルム線型空間と距離函数 · 続きを見る »
近傍系
数学の位相空間論周辺分野において、点の近傍系（きんぼうけい、neighbourhood system）あるいは近傍フィルター（きんぼうフィルター、neighbourhood filter）とは、その点の近傍全体の成す集合族をいう。.
新しい！!: ノルム線型空間と近傍系 · 続きを見る »
関数の台
数学における、ある函数の台（だい、）とは、その函数の値が 0 とならない点からなる集合、あるいはそのような集合の閉包のことを言う。この概念は、解析学において特に幅広く用いられている。また、何らかの意味で有界な台を備える函数は、様々な種類の双対に関する理論において主要な役割を担っている。.
新しい！!: ノルム線型空間と関数の台 · 続きを見る »
関数解析学
関数解析学（かんすうかいせきがく、functional analysis）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.
新しい！!: ノルム線型空間と関数解析学 · 続きを見る »
零ベクトル
零ベクトルあるいはゼロベクトルとは、ベクトルの加法においての単位元。直感的な理解においては大きさが0で向きを持たないベクトル。 太字で0（あるいは黒板太字)と表される。主に高校数学においては\vecのように上に矢印を置いて表されることがある。もちろん通常のベクトルのように要素を直接表記する場合もあり、例えば(1 -1)T+(-1 1)Tの解である(0 0)Tは零ベクトルの一つ。 Category:線型代数学 Category:数学に関する記事 Category:ベクトル.
新しい！!: ノルム線型空間と零ベクトル · 続きを見る »
連続写像
位相空間論において函数や写像が連続（れんぞく、continuous）であるというのは、ある特定の意味で位相空間の間の位相的構造を保つある種の準同型となっていることを意味し、それ自体が位相空間論における興味の対象ともなる。数学の他の領域における各種の連続性の定義も、位相空間論における連続性の定義から導出することができる。連続性は、空間の位相が同相（位相同型）であることの基礎となる概念であり、特に全単射な連続写像が同相写像であるための必要十分条件は、その逆写像もまた連続となることである。 連続でない写像あるいは函数は、不連続であると言う。 連続性と近しい関係にある概念として、一様連続性、同程度連続性、作用素の有界性などがある。 位相空間の間の写像の連続性の概念は、それが距離空間の間の連続函数の場合のような明確な「距離」の概念を一般には持たない分、より抽象的である。位相空間というのは、集合 とその上の位相（あるいは開集合系）と呼ばれる の部分集合族で（距離空間における開球体全体の成す族の持つ性質を一般化するように）合併と交叉に関する特定の条件を満足するものを組にしたもので、位相空間においても与えられた点の近傍について考えることができる。位相に属する各集合は の（その位相に関する）開部分集合と呼ばれる。.
新しい！!: ノルム線型空間と連続写像 · 続きを見る »
連続線形作用素
関数解析およびそれに関連する数学の分野における連続線形作用素（れんぞくせんけいさようそ、Continuous linear operator）とは、線形位相空間の間の連続な線形変換のことを言う。 2つのノルム空間の間の作用素が有界線形作用素であるならばそれは連続線形作用素であり、逆もまた成立する。.
新しい！!: ノルム線型空間と連続線形作用素 · 続きを見る »
Lp空間
数学の分野における Lp 空間（エルピーくうかん、Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる が、 によると初めて導入されたのは とされている。Lp 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。.
新しい！!: ノルム線型空間とLp空間 · 続きを見る »
P進付値
p-進付値（ぴーしんふち、p-adic valuation）とは、数学において、素数 p に対して有理数体あるいは ''p''-進数体に定義される付値の一種である。p-進付値は p-進距離と呼ばれる距離を定める。 有理数 x に対して、負の指数を許した次のような素因数分解 （pi はそれぞれ異なる素数）を考えたときの ei が x の pi-進付値である。ただし、sgn は符号関数。.
新しい！!: ノルム線型空間とP進付値 · 続きを見る »
極限
数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、limit）がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。 極限を表す記号として、次のような lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。.
新しい！!: ノルム線型空間と極限 · 続きを見る »
測度論
測度論（そくどろん、measure theory ）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。 ここで測度（そくど、measure ）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。 よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。 また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、 確率論や統計学においても測度論は重要である。 たとえば「サイコロの目が偶数になる確率 」は目が 1,..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っている為、 測度の概念で記述できる。.
新しい！!: ノルム線型空間と測度論 · 続きを見る »
斉次函数
数学における斉次函数（せいじかんすう、homogeneous function）は、拡大縮小に関して「引数に因数が掛かれば値にその因子の適当な冪が掛かる」という乗法的な振る舞いをする函数をいう。よりはっきり書けば、体 F 上の二つのベクトル空間 V, W の間の写像 と整数 k に対して、写像 ƒ が斉 k-次（斉次次数 k）であるまたは k-次の斉次性を持つとは、 を任意の零でないスカラー とベクトル に対して満たすことをいう。扱うベクトル空間が実係数の場合には、斉次性をもう少し一般にして、任意の α > 0 に対して上式を満たすことのみを仮定する場合も多い。 斉次函数はベクトル空間から原点を取り去ったものの上で定義することもでき、この事実は代数幾何学において射影空間上の層の定義において用いられている。より一般に、S ⊂ V が体の元によるスカラー乗法で不変な部分空間（「錐」）であるとき、S から W への斉次函数がやはり同じ式で定義できる。.
新しい！!: ノルム線型空間と斉次函数 · 続きを見る »
擬距離空間
数学の分野における擬距離空間（ぎきょりくうかん、）とは、異なる二点の間の距離がゼロとなることもあるように一般化された距離空間である。すべてのノルム空間が距離空間であるように、すべての半ノルム空間は擬距離空間である。このことから、半距離空間（位相空間論における意味とは異なる）という語が、特に関数解析学の分野において、擬距離空間の同義語として用いられることがある。 擬距離の族によって位相が生成される時、その空間はと呼ばれる。.
新しい！!: ノルム線型空間と擬距離空間 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
新しい！!: ノルム線型空間と数学 · 続きを見る »
数ベクトル空間
数ベクトル空間（すうべくとるくうかん、space of numerical vectors, numerical vector space）とは、「“数”の組からなる空間」（数空間数空間のことを座標空間と呼ぶこともあるが、「座標系を備えた空間」という意味で座標空間と呼ぶこともあるので紛らわしい（の項も参照）。）を自然にベクトル空間と見たものである。.
新しい！!: ノルム線型空間と数ベクトル空間 · 続きを見る »
ここにリダイレクトされます：
ノルム付きベクトル空間、ノルム付き線形空間、ノルム付き線型空間、ノルム空間、ノルム線形空間、線形ノルム空間、線型ノルム空間。
