ブラウザよりも高速アクセス！
28 関係: 基数、可換体、双対ベクトル空間、多様体、実数、局所環付き空間、一様空間、幾何学、代数的構造、位相空間、微分形式、バナッハ空間、ヒルベルト空間、ベクトル空間、コンパクト開位相、シュワルツ超函数、ソボレフ空間、写像、空間、環 (数学)、環上の加群、芽 (数学)、複素数、関数 (数学)、配置集合、Lp空間、接ベクトル空間、概型。
基数
数学において基数(きすう、cardinal number又はcardinals)とは、集合のカーディナリティ（濃度、大きさ、サイズ）を測るためのものとしての自然数の一般化である。有限集合の濃度(cardinality)は、つまり有限集合の要素の個数は自然数である。無限集合のサイズは、超限基数で記述される。 濃度は全単射をもちいて定義される。2つの集合が等しい濃度を持つとは、その集合の間に全単射が存在するということである。有限集合の場合は、サイズの直感的概念に同意できるだろう。無限集合の場合は、振る舞いは複雑になってくる。ゲオルグ・カントールが示した基礎的な理論は無限集合の濃度は1種類だけではないことを示したのである。特に、実数の集合の濃度は自然数の集合の濃度より真に大きいということを示した（カントールの定理）。また、有限集合の真部分集合と元の集合の濃度が等しくなり得ないのに対し、無限集合の真部分集合の濃度が元の集合の濃度と等しいということは起こりうるのである（デデキント無限も参照）。 基数の超限列が存在する: この列は、有限基数である自然数が最初に並んでいて、その後に整列集合の無限基数であるアレフ･ナンバー (aleph number) が続く。アレフ・ナンバーは順序数によって添字付けられている。選択公理の仮定の下で、この超限列はすべての基数を含んでいる。もし、選択公理が仮定されなければ、アレフ・ナンバーでない無限基数に関して状況はさらに複雑になってくる。 濃度は、集合論の一部のために研究されている。また、組合せ論や抽象代数学、解析学を含めた数学の各分野の道具としても使われる。圏論では、基数は集合の圏の skelton を形成する。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
双対ベクトル空間
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、dual vector space）あるいは単に双対空間（そうついくうかん、dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。.
新しい！!: 関数空間と双対ベクトル空間 · 続きを見る »
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
局所環付き空間
数学における局所環付き空間（きょくしょかんつきくうかん、locally ringed space）とは、位相構造や正則構造といった数学的構造を反映する「関数のなす可換環」の層（考えている空間の構造層と呼ばれる）を付与された位相空間のことである。関数 が点 で消えていないとき、 のごく近くでは逆数関数 を考えられることが公理化される。.
新しい！!: 関数空間と局所環付き空間 · 続きを見る »
一様空間
一様空間（いちようくうかん、uniform space）は数学の一分野である位相空間論の概念で、一様連続性、一様収束性、完備性、一様被覆といった性質の定式化が可能になる条件を抽象する事で得られたものである。 一様空間は距離空間と位相空間の中間の強さを持つ概念であり、距離空間は自然に一様空間とみなせ、一様空間は自然に位相空間とみなせる。また擬距離空間や位相群なども一様空間とみなせる。 一様空間は距離空間と位相群を一般化する概念であるので、解析学における議論の多くの基盤を与えるものとなっている。 一様構造と位相構造の概念的な違いは、一様空間においては点の近さや相対的な近さといったようなある種の概念が定式化できるというようなことにある。つまり、「点 x の点 a への近さは、点 y の点 bへの近さよりも近い」といったような考察は一様空間において意味を成すのである。対する一般の位相空間では、部分集合 A, B が与えられれば、「点 x が集合 A にどれほどでも近い（x が A の閉包に属する）」とか「集合 A は集合 B よりも小さい近傍である」といったようなことは言える。しかし点の近さの概念や相対的な近さといったようなものは、位相構造のみでは記述することができない。.
幾何学
最先端の物理学でも用いられるカラビ-ヤウ多様体の一種。現代幾何学では図も書けないような抽象的な分野も存在する。 幾何学（きかがく、）は、図形や空間の性質について研究する数学の分野である広辞苑第六版「幾何学」より。イエズス会マテオ・リッチによる geometria の中国語訳である。以前は geometria の冒頭の geo- を音訳したものであるという説が広く流布していたが、近年の研究により否定されている。 もともと測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達しブリタニカ国際大百科事典2013小項目版「幾何学」より。、これらのおもな成果は紀元前300年ごろユークリッドによってユークリッド原論にまとめられた。その後中世以降のヨーロッパにてユークリッド幾何学を発端とする様々な幾何学が登場することとなる。 幾何学というとユークリッド幾何学のような具体的な平面や空間の図形を扱う幾何学が一般には馴染みが深いであろうが、対象や方法、公理系などが異なる多くの種類の幾何学が存在し、現代においては微分幾何学や代数幾何学、位相幾何学などの高度に抽象的な理論に発達・分化している。 現代の日本の教育では、体系的な初等幾何学はほぼ根絶されかけたが、近年、中・高の数学教育で線型幾何/代数幾何を用いない立体を含む、本格的な綜合幾何は見直されつつある。.
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
新しい！!: 関数空間と代数的構造 · 続きを見る »
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
微分形式
数学における微分形式（びぶんけいしき、differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.
バナッハ空間
数学におけるバナッハ空間（バナッハくうかん、Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。 解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 ''L''''p''-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。.
新しい！!: 関数空間とバナッハ空間 · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 関数空間とヒルベルト空間 · 続きを見る »
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: 関数空間とベクトル空間 · 続きを見る »
コンパクト開位相
ンパクト開位相（コンパクトかいいそう、compact-open topology）とは連続写像のなす空間上の位相構造の一つで、定義域のコンパクト部分集合を値域の開集合内に移す写像全体が開集合となる最弱の位相の事である。特に定義域が局所コンパクトハウスドルフである場合は連続写像空間上のきわめて自然な位相概念となり、コンパクト開位相は (f,x) \mapsto f(x) が連続となる最弱な位相と一致する。また値域が距離空間（あるいはより一般に一様空間）であれば、コンパクト開位相で収束する必要十分条件は、定義域の各コンパクト部分集合上で一様収束する事（これを広義一様収束あるいはコンパクト収束という）である。.
新しい！!: 関数空間とコンパクト開位相 · 続きを見る »
シュワルツ超函数
解析学におけるシュワルツ超函数（シュワルツちょうかんすう、distribution; 分布）あるいは超函数（generalized function; 広義の函数）は、函数の一般化となる数学的対象である。シュワルツ超函数の概念は、古典的な意味での導函数を持たない函数に対しても微分を可能とする。特に、任意の局所可積分函数は超函数の意味で微分可能である。シュワルツ超函数は偏微分方程式の弱解（広義の解）の定式化に広く用いられる。古典的な意味での解（真の解）が存在しないか構成が非常に困難であるような場合でも、その微分方程式の超函数解はしばしばより容易に求まる。シュワルツ超函数の概念は、多くの問題が自然に解や初期条件がディラック・デルタのような超函数となるような偏微分方程式として定式化される物理学や工学においても重要である。 広義の函数としての超函数 (generalized function) は1935年セルゲイ・ソボレフによって導入されたが、その後1940年代になって一貫した超函数論を展開するローラン・シュヴァルツによって再導入される。 超函数(distribution)の拡張の一つとして、佐藤超函数があるとみなすことができる。.
新しい！!: 関数空間とシュワルツ超函数 · 続きを見る »
ソボレフ空間
数学においてソボレフ空間（ソボレフくうかん、Sobolev space）は、函数からなるベクトル空間で、函数それ自身とその与えられた階数までの導函数の ''Lp''-ノルムを組み合わせて得られるノルムを備えたものである。ここでいう微分を適当な弱い意味での微分と解釈することにより、ソボレフ空間は完備距離空間、したがってバナッハ空間を成す。直観的には、ソボレフ空間は（偏微分方程式のような応用範囲に対して）十分多くの導函数を持つ函数からなるバナッハ空間あるいはヒルベルト空間であって、函数の大きさと滑らかさの両方を測るようなノルムを備えたものということである。 ソボレフ空間の名称はロシア人数学者のセルゲイ・ソボレフに因む。ソボレフ空間の重要性は、偏微分方程式の解というものは古典的な意味での導函数を備える連続函数からなる古典的な空間の中ではなく、むしろソボレフ空間の中にあるとして捉えたほうが自然であるという事実にある。.
新しい！!: 関数空間とソボレフ空間 · 続きを見る »
写像
写像（しゃぞう、mapping, map）とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる（多価函数参照）。文献によっては「数の集合（大抵の場合実数体 または複素数体 の部分集合）を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.
空間
間（くうかん）とは、.
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 関数空間と環 (数学) · 続きを見る »
環上の加群
抽象代数学における環上の加群（かぐん、module）とは、ベクトル空間を一般化した概念で、係数（スカラー）を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは（ベクトル空間がそうであるように）加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.
新しい！!: 関数空間と環上の加群 · 続きを見る »
芽 (数学)
数学において、位相空間の中あるいは上の対象の芽（め、が、germ）とは、その対象に同種の対象を加えて作られた同値類のうち、局所的な性質が共通するように集めてきたものを呼ぶ概念である。特に、問題の対象として関数（あるいは写像）や部分集合を考えることが多い。このアイデアの特定の実行において、問題の集合あるいは写像は解析的あるいは滑らかのようないくつかの性質をもつが、一般にはこれは必要とされない（問題の写像や関数は連続である必要さえない）。しかしながら、対象の定義されている空間は、局所的という言葉がなんらかの意味をもつために位相空間である必要がある。 名前は層 のメタファーの続きで cereal germ に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。.
新しい！!: 関数空間と芽 (数学) · 続きを見る »
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 関数空間と関数 (数学) · 続きを見る »
配置集合
数学の集合論における配置集合（はいちしゅうごう、Belegungsmenge）あるいは集合の冪（べき、exponentiation ensembliste）は、二つの集合 に対する演算で、 から への写像全体の集合を割り当てるものである。この集合は や などと書かれる。これはまた、 で添字付けられた の元の族の全体 F^E.
Lp空間
数学の分野における Lp 空間（エルピーくうかん、Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる が、 によると初めて導入されたのは とされている。Lp 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。.
接ベクトル空間
多様体上の接ベクトル空間（せつベクトルくうかん、英語：tangent vector space）あるいは 接空間（英語：tangent space）とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。.
新しい！!: 関数空間と接ベクトル空間 · 続きを見る »
概型
数学における概型あるいはスキーム (scheme) とは、可換環に対して双対的に構成される局所環付き空間である。二十世紀半ばにアレクサンドル・グロタンディークによって導入され、以降の代数幾何学において任意標数の代数多様体を包摂し、係数の拡大や図形の「連続的」な変形を統一的に取り扱えるような図形の概念として取り扱われている。さらに、今まで純代数的な対象として研究されてきた環についてもそのアフィンスキームを考えることである種の幾何的対象として、多様体との類推にもとづく研究手法を持ち込むことが可能になる。このため特に数論の分野ではスキームが強力な枠組みとして定着している。 スキームを通じて圏論的に定義される様々な概念は大きな威力を発揮するが、その一方で、古典的な代数幾何においては点とみなされなかった既約部分多様体のようなものまでがスペクトルの「点」になってしまう。このためヴェイユ・ザリスキ流の代数幾何学（これ自体大幅な形式化によって前の世代の牧歌的なイタリア流代数幾何に引導を渡すものだったのだが）を習得して研究していた同時代の学者たちからは戸惑いのこもった反発を受けた。.
ここにリダイレクトされます：
函数空間。
