空間

とは、
哲学、物理学、数学、建築、地理学、社会学等々において用いられており、意味・説明は分野ごとに異なるので、それぞれ説明する。
自然哲学における空間.
自然哲学における理解を解説する。
アリストテレスは、自然学の基礎的概念として、事物の場所「トポス topos」としての空間概念を用い、物事の運動kinesisを説明した。トポスは「接触面」として、諸元素に対して能動的な作用を及ぼす実在であって、それぞれの本性により、火は上方に、土は下方の場所へと運動する、とした。→『トポス論』
後にアリストテレスの自然哲学はクラウディオス・プトレマイオスの天文学と合体し、性質的な差異と階層構造をもつ有限宇宙が想定された。月下界には月下界特有の性質・法則があり、月の向こう側の空間には、そこ独特の性質・法則があると考えられていた。空間というのは、位置によって性質が異なる、と一般に考えられていたのである。人々は、空間は位置により性質が違うから、地上のものは落下するが、惑星は落ちないまま円運動を続けている、と考えていた。空間は相対的なものであった（宇宙論を参照）。
ルネ・デカルトが1633年に執筆した『宇宙論』の原稿においては、物体とは独立の空間を認めており、運動というのは空間の中のある位置から別の位置への移動」として簡潔に定義できるものであった（だが、この書はデカルトの生前には出版されなかった。出版は死後である。）。その後のデカルトの渦動説によれば、空間にはすきまなく目に見えない何かが満ちており、物が移動すると渦が生じている、物体は「渦」によって動かされている、と説明された（重力を説明する古典力学的理論を参照）。
自然哲学者アイザック・ニュートンは、上述のデカルトの渦動説は本で読んだものの、その体系に相当無理があると気づいていた。ニュートンは一般に公表はされなかったものの、『重力および流体の平衡について』という書きかけの手稿（『自然哲学の数学的諸原理』が出版される相当前に書かれたもの）を残しており、そこでデカルトの渦動説を名指しで批判している。そして、その手稿で「場所とは物体が占める空間の一部」とし、「静止とは同じ場所にとどまること」「運動とは場所の変化である」としていた（ただしこれは公表されなかった）。
ニュートンは、古代以来の「場所により空間の性質が異なる」という考え方に変化をもたすことにもなった。ニュートンは、天界の惑星の運動と地上の物体の落下が同一のしくみによってもたらされているとしても説明可能だと見抜き、「万有引力の法則」を公表した（『自然哲学の数学的諸原理』）。ニュートンはユークリッド幾何学を用いて、自らの理論体系を構築した。（当時、人類が知っていた幾何学はユークリッド幾何学だけであった。。）よって、ニュートン力学においては空間は、無限に広がる3次元のユークリッド空間と想定されていることになる。
『自然哲学の数学的諸原理』の冒頭部分の「定義」に続く箇所において、絶対空間と絶対時間という概念を導入した。「そのnature本性において、外界のいかなるものとも関係がなく、常に同じままで、不動の」と説明されている。ニュートンの力学体系では、空間は均一の性質で広がるものと想定されるようになり「絶対空間」と呼ばれたのである。また、ニュートンは同著においてその説明につづいて、絶対運動および相対運動について説明を行ない、バケツの中に水を入れ回転させる実験の説明を行った。
また、ニュートンは宇宙の空間のすべての位置・点が、全ての天体の位置と質量を知っているということから、空間というのは「神の感覚中枢 (sensorium dei)」であると述べた。神は絶対性を有しており、宇宙のあらゆる空間に神はあまねく存在している（遍在している）としたのである。（『光学』）。
ライプニッツは空間というのは、同時に存在する事物の秩序、ととらえた。空間は表象と表象との関係によって定義される、とした。よってライプニッツの考えでは、ニュートンが言うような絶対空間というようなものは否定した。
2種類の空間概念にまつわる議論.
絶対空間と相対空間の考え方について議論が行なわれた。
絶対空間は、英国の自然哲学者ニュートンが唱えた空間概念で、連続的で均質な無限の広がりを想定している。
これは、ドイツのライプニッツによる批判の対象となった。ライプニッツは、相対空間という概念を提示した。ライプニッツによれば、空間とは諸物の関係であり、空間の存在は、その中の諸物の関係を、幾何学などにより合理的に説明できれば証明されるとした。これは、空間の性質を、諸物の位置ならびに位置相互にある距離として表現するものであった。ニュートン（およびその支持者）とライプニッツ（およびその支持者）の間には、激しい論争が闘わされ、何度も書簡（第1-5書簡）のやりとりがなされた。
ライプニッツの第2書簡においては、宇宙における物質の量に関してニュートンを批判しつつ、真空などという概念はないときっぱりと否定した。ライプニッツはその理由として、宇宙に物質の量が多ければ多いほど神の力と知恵を行使できる機会が多いのだから、物質のない虚ろな空間はありえない、とした。第5書簡では、水銀をいれたガラスのチューブを用いたトリチェリの実験（1643年）も引き合いに出し、アリストテレス主義者やデカルト主義者らの見解も提示しつつ「空気を抜かれたガラスのチューブには光線が通過することからして小さな穴があいているに決まっている。そしてその穴は空気は通さないけれど、磁気などの希薄な流体を通すのであって、ガラス容器の中にはそのような微小な物質がつまっていると考えるべきである」と述べた。（ライプニッツのこの説明は、現在の物理学における磁場などの、目に見ることも触れることもできない「場」の概念を先見するものだったとも評価されている。
第4書簡では、万有引力についても攻撃し、「離れた物体同士が、まったく仲介するものなしで互いに引き合うとか、（ある物体のまわりを）物体がまわる（接線方向に進んでゆくことを妨げるものがないのにそうならない）ということも、超自然的だ。このようなことは、ものごとの本性からは説明できない」と非難した。ライプニッツの支持者らもニュートンの万有引力の理論を「オカルトだ」と非難した。
物理学における空間.
ニュートン力学での空間.
ニュートンはニュートン力学を、3次元ユークリッド空間、すなわち、すべての方向に無限に拡がる果てしのない均質なもので物質の存在から独立した空虚な容器であり、やはり均質に空間や物質とは切り離されて存在し進行する時間がある、という大前提のもとに記述した（いわゆる「絶対空間」と「絶対時間」、時間#ニュートン力学での時間も参照）。
ニュートン力学の再構成.
19世紀後半には、ニュートン力学の再構成が盛んになり、できれば「絶対空間」という概念（仕組み）は抜きで運動を理解しよう、とする試みが盛んに行なわれるようになった。なぜなら、たとえばマクスウェルの方程式（1864）から、光速はいかなる観測者からも一定、という、絶対空間と絶対時間という枠組から見ると奇妙な結論が得られる。そういったほころびが目立つようになってきたからである。
エルンスト・マッハ（1838-1916）は、観察されることをそのまま記述する方法で科学を再構築することを構想しており、ニュートン力学体系における「絶対空間」や「絶対時間」の概念を、形而上学的な要素の残滓（のこりかす）だとして否定した（『力学の発展史』）。また、カール・ノイマンやルートヴィヒ・ランゲは、ニュートンのように先に空間と時間を仮定してから運動を定義するのではなく、反対に、（観察される）運動と運動の法則から「慣性系」という基準系の構造を構築しようとした。「絶対空間」と呼ばれるものを見たり認識したことがある人は、未だかつて誰もいなかったのである。マッハの思想は後述するアインシュタインに影響を与えた。
ローレンツは、「絶対空間においてエーテルが静止している」とし「宇宙は絶対静止しているエーテルと運動する荷電粒子からなる」とする宇宙論によって、ニュートン的な絶対空間の概念を保持していた。
この考え方を支持する人は多く、地球のエーテルに対する運動の効果を地上で測定するという実験が繰り返し行なわれた。マイケルソン・モーリーの実験である。実験結果はエーテルの存在を証明するものではなかった。ローレンツは、「運動する時計は遅れる」とする仮説と、「運動するものさしは収縮する」とする仮説によって、実験結果も受け入れつつ なんとかしてエーテルの存在を認めつづけようとした。
相対性理論での空間.
アルベルト・アインシュタインは、ローレンツの考えとは異なった観点から着想し、「全ての慣性基準系は対等であって、特権的な基準系はない」とする仮説と、「あらゆる慣性基準系において真空中の光の速度は一定である」とする仮説によって、ニュートン力学の理論体系を組みなおし、空間と時間に関して新しい考え方を提示した（相対性理論を参照）。ここにおいて、空間は時間と連関して扱われることになり、4次元の時空という概念が現れた。
アインシュタインの一般相対性理論以来、重力は空間の歪みと考えられ、空間は曲率がゼロのユークリッド空間ではなく一般にはリーマン空間で表されることになった。そして重力の源は質量であるので、空間は内部の物体とは無関係に存在する単なる容器ではなく、内部の質量自体が空間の構造に影響を与えていることになる。
宇宙論・量子論・場の理論.
エドウィン・ハッブルらによって、島宇宙（銀河）が遠ざかっていることが発見されてからは、やがて宇宙は一定であるとする定常宇宙論以外に、宇宙が膨張しているとするビッグバン仮説が登場し、両者は拮抗するようにもなり、やがてビッグバン理論の支持者の割合が大きくなった（宇宙論を参照）。
また、２０世紀初頭からはじまった数々の物理実験によって、真空は何も含まない「無」なのではなく、エネルギーや構造を持つことが解明された（例えば「ディラックの海」、「カシミール効果」を参照のこと）。このような真空の性質を記述するために場の量子論が１９３０年代に登場し、やがて素粒子の標準模型へと進化した。標準模型においては、真空と不可分な電磁場や電子場、ヒッグス場などが存在し（電磁場、量子場、ヒッグス場も参照）、粒子は真空を構成する場の励起状態であると解釈されている。宇宙のあらゆる場所に共通の電子の場が存在するために、どこで電子を生成しても、その質量や電荷などの諸性質は全く同一になる（例えば、他のものに比べて質量の小さい電子は生成できない）。また、磁石は真空を構成する電磁場を影響するために、遠距離でも目に見えない引力や斥力が発生すると解釈される。電荷を勢いよく振動させると、電磁場中に光子が励起され無限遠に向かって伝搬する。こうした真空の概念の転換によって、原子や素粒子の性質が極めて正確に予言できるようになった。１９６０年代には、電磁相互作用と弱い相互作用を統一した電弱理論が確立され、１９８０年代に実験的に検証された。現在、さらに電弱理論と強い相互作の理論を統一する統一場理論を作り上げようと努力しているが、理論の予測と陽子崩壊等の実験結果に矛盾があるために、困難に直面している。
なお、１９世紀末に信じられていたエーテル仮説では、真空中にエーテルと呼ばれる媒質が満たされており、地球がエーテル中を運動するとエーテル風が観測されると考えられていた。エーテルは真空と分離可能で直接観測が可能な液体のような媒質であると考えられていたが、該当する現象が観測されなかったために、エーテルの存在は現在では実験的に否定されている。一方、場の量子論における「場」とは、電磁場のように真空と分離することのできない広がりをもったものを指す。携帯電話に電波が届くのは、空間中のあらゆる場所に目に見えない電磁場が満たされており、携帯電話がその電磁場を励起するからである。電波が伝搬しない真空を作り出すことが不可能であるように、電磁場は真空とは不可分であると考えられる。したがって、エーテル風に類似する効果は場の量子論ではおこらない。
現代の自然科学者は、物理学における空間を「物理的空間」、数学などにおける空間を「抽象空間」と呼ぶこともある。
超弦理論における空間.
超弦理論においては、空間は9次元である、としている。ただし9次元のうち6次元は、現在観測できないほどに小さく折りたたまれていて観測できないとする。超弦理論では、「9次元空間 + 時間」の「10次元時空」が想定されている。小さな6次元は、カラビヤウ多様体のような形態であるという。
数学における空間.
数学においては、ある集合を「入れ物」に、特定の条件を構造（とくに幾何学的構造）としていれて「幾何学的対象」と考えるとき、入れ物となる集合を空間 （くうかん、）と呼ぶことがある。その場合、集合の元は空間の点と呼ばれる。入れ物となる空間に複数の構造が考えられるときには、構造ごとに異なる空間があると考えることが自然であることも少なくない。この場合、空間とは「入れ物となる集合とその集合の上に定義される構造との組のことである」として考えていることになる。
集合と条件から公理的に構成される空間をとくに抽象空間（ちゅうしょうくうかん、）と呼んで、具体的な空間と区別することがある。たとえば、ベクトル空間は線型演算の定義できる集合という条件で定まる抽象空間のことだが、実数全体の成す集合 R のような具体的な空間がベクトル空間の構造を持つかどうかということとは独立に、ベクトル空間の公理のみによってその性質などについて統一的に論じることができる。
空間に定義される幾何学的な構造とは、たとえば 「近さ」「向き」「位置関係」「広がり」 のようなものがそうなのであるが、座標や函数のような、通常は代数学的な構造であるとか解析学的な構造であると見なされるようなものも、一部に含んでいる。ホモトピーやホモロジー、コホモロジーは、空間やその幾何学を計算のしやすい代数系によって捉えるという代数的位相幾何学の思想に基づく産物である一方、不変量として空間を規定する幾何学的な構造の一種であると捉えられる。
ユークリッド空間は空間の雛形として幾何学的な構造を様々に含んでいる。たとえば、「近さ」について、ユークリッド距離と呼ばれる距離函数によって距離空間の構造を備えている。空間（の中の図形）が閉じているとか開いているとか、あるいは「広がり」具合に関して限界があるとか、繋がっているとか離れているとか、収束・発散、とかいった概念は、ユークリッド空間であれば距離の言葉で解釈して、論じることができる。一般には距離を定めることのできない抽象空間で近さを論じるために、位相空間や一様空間といった抽象空間の類が定義される。また、ユークリッド空間上の函数やその解析学は、ユークリッド空間の局所的な振る舞いを明らかにし、微分構造を備えた多様体としての姿を浮き彫りにする。それは、座標による表示を通して、空間上の微分が存在する接空間のベクトル空間としての構造と、その張り合わせとして捉えることもできる。とくに三次元空間では、空間の向きや距離をベクトルの内積や外積などによって把握するベクトル解析が詳しく展開される。
位相空間は、開集合や閉集合の全体がどうなっているべきであるかを明らかにすることで定義されるが、それによって他の多くの幾何学的な構造が統一的に調べられる、非常に広い空間概念である。一方、函数や収束・発散あるいは完備といった、空間の解析学を展開するために必要な性質は一様空間の性質として理解されることも少なくはない。
多様体の場合に限らず、集合上の函数の集まりは、空間の持つ情報を様々に写し取るために、それを空間と双対的な存在の「空間」と見なすようなこともしばしば行われる。こういった函数空間の考察は、多くの場合代数的な道具を空間の研究に導入する便宜を提供することになる。
空間に対して、空間上の自己準同型のつくる作用素環などの函数環および、その上の加群を新たな空間として考えたり、非可換環上の幾何学を展開する場としての非可換空間を通常の空間の変形版と見なす非可換幾何を考察したりといった直接的な影響に留まらず、点の集まりとして定義される空間という点集合論を超えて、詳細な情報を得るには点の不足している空間に対して、函数空間の代数的な情報によって元の空間の情報を引き出したりするようなこと、あるいは抽象代数的な構造物を積極的に幾何学的な空間として捕らえるような代数幾何学的な思想が、現われてくる。
代数幾何学やその応用としての数論幾何学では、局所コンパクト群であるユークリッド空間のようなよく知られた（ふつうの）空間のみならず、たとえば位相空間として離散空間となるさまざまな有限群や離散群のような、およそ図形とは思えないようなものが各所で重要な意味を持つなど、興味深いたくさんの抽象空間が扱われる。
地理学における空間.
社会科学において、地理学は、空間をその論理契機として枢要な位置にすえている。地理学的空間、地理学用語としての空間は、地表部の一部を指し、3次元空間を地理的要素が分布する2次元的広がりに転用して用いる。一般的に地帯地方地域地区領域などと呼び、地域計画の分野では地理学的空間を立地空間としてとらえ、土地利用、土地所有、家屋分布、道路網、景観等の基礎調査で3次元空間を2次元空間に置きかえることが成されて、踏襲している。相対空間の距離が輸送費・移動に伴う労苦や事業所・社会集団の立地点として、また、絶対空間の広がりが需要空間や国土領域などとしてとらえられ、その理論体系に重要な役割を演じている。新しい経済地理学は、物理的空間と経済・社会との連関を、経済社会による空間の包摂としてとらえ、均質な物理的空間から異質な経済・社会空間が生産される過程をこの包摂過程から体系的に説明している。
経済・社会は、その容器として絶対空間を必ず充用しなければならないが、絶対空間は同時に、連続性をもち、その中に存在する物体や主体を関係付けて均質化してしまう。このため、市場主体や社会集団の自立性は損なわれる。これが、「絶対空間の形式的包摂」である。これを否定するため、経済・社会を支配する主体は、空間を仕切って、市場主体や社会集団の自立性を回復しなければならない。これが有界化という、「絶対空間の実質的包摂」の過程である。例えば、最近市場原理主義の下で語られるコモンズの悲劇の問題において、コモンズ（入会地、共有地）は、形式的に包摂された絶対空間であり、これを有界化して各区画を私有とすることは、市場経済への絶対空間の実質的包摂である。
経済・社会はまた、その主体の活動位置の特定のため相対空間も充用しなければならない。だが、相対空間は同時に距離の性質をもち、活動する主体を引き離す。このため、市場など経済・社会組織の統合は困難となる。これが、「相対空間の形式的包摂」である。これを否定するため、経済・社会を支配する主体は、相対空間の各位置を結びつけて、市場主体や社会集団の統合を回復しなければならない。これが空間統合と呼ばれる、「相対空間の実質的包摂」の過程である。しかし多くの場合、空間統合は2次元の平面の広がりがつくる距離を1次元の線分の集合たるネットワークによって否定しようとする行為であるので、新幹線や高速道路の建設は、この空間統合をより効率的に行う試みであるが、高速交通手段であるほど単位距離あたりコストがより多くかかり、ネットワークが疎になるので、空間の不均質性はかえって拡大してしまう。これを、空間統合のパラドクスという。
これらの絶対・相対空間の実質的包摂を通じて、物理的空間上に、不均質性をもつ、経済・社会の空間編成が刻み込まれる。これが、空間の生産である。とくに、生産された空間が可視的な物体の形をとる場合、その空間のシステムとなった総体を建造環境と呼ぶ。また、物理的（原初的）空間と生産された空間の編成との相互、ならびに実質的包摂の結果生産された領域と空間統合との相互が全体として絡み合った空間を、相関空間と呼ぶ。
造園における空間.
造園計画やランドスケープデザインの対象となって創出されたり、または環境保全されたり景観操作された、一つのまとまった構造をもつ空間を造園空間という。ここでの一つのまとまりとは、周囲を囲まれた園、つまり物的なまとまりとしての空間だけを指すのでなく、景色や風景として一望できるまとまりある構造をも指している。造園空間の特徴をその空間構成の形式の点から建築空間との比較でいうと、ひとつ目の特徴は屋根のない床や壁による構成であり、すなわち外部空間であることが挙げられる。二つ目の特徴は、空間の構成要素が生命ある植物や水、土、石といった自然材であること、三つ目に、空間構成の観点が用と景にたとえられるように機能と外観のデザインが相互調整におかれることがあげられる。
造園空間の史的展開を空間事例であげると、フランスやスペインでは宮殿の庭園として発展し、イタリアではヴィラと呼ばれる別荘の庭園として、日本では寺院庭園等として、イギリスでは狩猟園地としてのパークや共有地としてのボストンコモンが都市公園として展開してきたことを知る。またアメリカ合衆国では、近代都市公園と国立公園としての自然公園が発生、展開した。
現在日本で成立している造園空間を示すと個人庭園から公館庭園までを含む各種庭園、都市公園に代表されるが、遊園地・スキー場・ゴルフ場・別荘地までを含む各種レクリエーション空間やリゾート空間、並木道や緑道から高速道路造園といった交通系の造園空間がある。これらの造園空間は、そうした空間が立地成立する地域空間の序列を備えていて、日常生活圏域で見受けられる造園空間から、より広域的な圏域に数箇所限定して成立するものまである。また、造園空間の土地所有や運営、経営の面からみると、公的造園空間と私的造園空間とがある。
この分野では造園作品と造園空間とを区分してとらえる傾向がある。
社会学における空間.
社会学における空間分析において決定的な影響を与えたのが1960-1970年代の空間論的転回である。空間論的転回によって、空間は社会的活動にとっての基本的な素材とみなしつつ、同時に社会的に生産されたものと考えられるようになった。したがって、たとえば、「社会空間」は、この両義性を含み合わせた概念として使用される。この流れを生み出したのは、アンリ・ルフェーヴル、ミシェル・ド・セルトー、デヴィッド・ハーヴェイらである。
社会学における社会空間論としては、マニュエル・カステルの「フローの空間」論、アルジュン・アパデュライの「スケイプ」論がよく知られている。
文化考における空間.
哲学・地理学・社会学からの派生・応用になるが、ユネスコが世界遺産や無形文化遺産に考え方を反映させている。
人間の空間認識.
人間の空間認識は、空間を表現する言語と関係が深い。
縦と横、前後、左右、上下など空間の関係に関する言葉はたくさんある。
大小、長い・短い、太い・細いなど、空間を占める状態を表す言葉もたくさんある。