この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "空間"
数学においては、ある集合を「入れ物」に、特定の条件を構造(とくに幾何学的構造)としていれて「幾何学的対象」と考えるとき、入れ物となる集合を空間 (くうかん、space)と呼ぶことがある。その場合、集合の元は空間の点と呼ばれる。入れ物となる空間に複数の構造が考えられるときには、構造ごとに異なる空間があると考えることが自然であることも少なくない。この場合、空間とは「入れ物となる集合とその集合の上に定義される構造との組のことである」として考えていることになる。
集合と条件から公理的に構成される空間をとくに抽象空間(ちゅうしょうくうかん、abstract space)と呼んで、具体的な空間と区別することがある。たとえば、ベクトル空間は線型演算の定義できる集合という条件で定まる抽象空間のことだが、実数全体の成す集合 R のような具体的な空間がベクトル空間の構造を持つかどうかということとは独立に、ベクトル空間の公理のみによってその性質などについて統一的に論じることができる。
空間に定義される幾何学的な構造とは、たとえば 「近さ」「向き」「位置関係」「広がり」 のようなものがそうなのであるが、座標や函数のような、通常は代数学的な構造であるとか解析学的な構造であると見なされるようなものも、一部に含んでいる。ホモトピーやホモロジー、コホモロジーは、空間やその幾何学を計算のしやすい代数系によって捉えるという代数的位相幾何学の思想に基づく産物である一方、不変量として空間を規定する幾何学的な構造の一種であると捉えられる。
ユークリッド空間は空間の雛形として幾何学的な構造を様々に含んでいる。たとえば、「近さ」について、ユークリッド距離と呼ばれる距離函数によって距離空間の構造を備えている。空間(の中の図形)が閉じているとか開いているとか、あるいは「広がり」具合に関して限界があるとか、繋がっているとか離れているとか、収束・発散、とかいった概念は、ユークリッド空間であれば距離の言葉で解釈して、論じることができる。一般には距離を定めることのできない抽象空間で近さを論じるために、位相空間や一様空間といった抽象空間の類が定義される。また、ユークリッド空間上の函数やその解析学は、ユークリッド空間の局所的な振る舞いを明らかにし、微分構造を備えた多様体としての姿を浮き彫りにする。それは、座標による表示を通して、空間上の微分が存在する接空間のベクトル空間としての構造と、その張り合わせとして捉えることもできる。とくに三次元空間では、空間の向きや距離をベクトルの内積や外積などによって把握するベクトル解析が詳しく展開される。
位相空間は、開集合や閉集合の全体がどうなっているべきであるかを明らかにすることで定義されるが、それによって他の多くの幾何学的な構造が統一的に調べられる、非常に広い空間概念である。一方、函数や収束・発散あるいは完備といった、空間の解析学を展開するために必要な性質は一様空間の性質として理解されることも少なくはない。
多様体の場合に限らず、集合上の函数の集まりは、空間の持つ情報を様々に写し取るために、それを空間と双対的な存在の「空間」と見なすようなこともしばしば行われる。こういった函数空間の考察は、多くの場合代数的な道具を空間の研究に導入する便宜を提供することになる。
空間に対して、空間上の自己準同型のつくる作用素環などの函数環および、その上の加群を新たな空間として考えたり、非可換環上の幾何学を展開する場としての非可換空間を通常の空間の変形版と見なす非可換幾何を考察したりといった直接的な影響に留まらず、点の集まりとして定義される空間という点集合論を超えて、詳細な情報を得るには点の不足している空間に対して、函数空間の代数的な情報によって元の空間の情報を引き出したりするようなこと、あるいは抽象代数的な構造物を積極的に幾何学的な空間として捕らえるような代数幾何学的な思想が、現われてくる。
代数幾何学やその応用としての数論幾何学では、局所コンパクト群であるユークリッド空間のようなよく知られた(ふつうの)空間のみならず、たとえば位相空間として離散空間となるさまざまな有限群や離散群のような、およそ図形とは思えないようなものが各所で重要な意味を持つなど、興味深いたくさんの抽象空間が扱われる。 「地理空間」はこの項目へ転送されています。『地理空間』と訳されるフランスの学術雑誌については「fr:L'Espace geographique
数学関連項目
ヒルベルト空間、零空間、アフィン空間、T1空間、LF空間、離散空間、射影空間、可分空間、位相空間論、コルモゴロフ空間、ハウスドルフ空間、密着空間、商空間、双対ベクトル空間、ノルム線型空間、一様空間、線型位相空間、計量ベクトル空間、確率空間、コンパクト空間、線型部分空間、バナッハ空間、連結空間、関数空間、空間充填、情報幾何学、位相幾何学
地理学における空間
この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "空間" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL(2010年1月)
社会科学において、地理学は、空間をその論理契機として枢要な位置にすえている。地理学的空間、地理学用語としての空間は、地表部の一部を指し、3次元空間を地理的要素が分布する2次元的広がりに転用して用いる。一般的に地帯地方地域地区領域などと呼び、地域計画の分野では地理学的空間を立地空間としてとらえ、土地利用、土地所有、家屋分布、道路網、景観等の基礎調査で3次元空間を2次元空間に置きかえることが成されて、踏襲している。相対空間の距離が輸送費・移動に伴う労苦や事業所・社会集団の立地点として、また、絶対空間の広がりが需要空間や国土領域などとしてとらえられ、その理論体系に重要な役割を演じている。新しい経済地理学は、物理的空間と経済・社会との連関を、経済社会による空間の包摂としてとらえ、均質な物理的空間から異質な経済・社会空間が生産される過程をこの包摂過程から体系的に説明している。