実数空間

数学において実 -次元数空間（すうくうかん、）は実変数の -組を一つの変数であるかのように扱うことを許す座標空間である。太字の R の右肩に n を置いたで表す（または黒板太字を用いてとも、プレーンテキストではとも書く）。さまざまな次元のが純粋数学や応用数学、あるいは物理学などの多くの分野で利用される。実 -次元数空間は実線型空間の原型例であり、-次元ユークリッド空間を表現するものとしてよく用いられる。この事実から、幾何学的な暗喩がに対して広く用いられる（具体的にはを平面、およびを空間として扱うなど）。

定義任意の自然数に対し、実数の -組の全体からなる集合を「-次元実数空間」("-dimensional real space") と呼ぶ。の元は、各を実数として

と書かれる。

各に対して数空間はただ一つ存在する (the real -space)ある種の数学的対象が同型を除いて一意という状況は多いが、それと異なりが一意というのはより強い意味である。各元は個の実座標で明示的に記述される。

性質と構造実数の集合の個の元からの構成であることに依存して、にはの持つある種の数学的構造が遺伝する。特に注目すべきは: ベクトル空間の直和としての定義によりに加法とスカラー倍が定義できる（数ベクトル空間を参照）、は位相空間になることである。

位相構造の標準位相、ユークリッド位相あるいは通常の位相と呼ばれる位相は、定義節に言うように単に直積集合と見ただけでは出てくる構造ではない。これはユークリッド距離の誘導するに一致する。すなわちの部分集合が開であるとは、その部分集合の各点においてその点を中心とする適当な開球体をその部分集合が必ず含むことをいう。は位相線型空間でもあり、線型構造と両立することのできる（非自明な）位相はただ一つ存在する。

の位相次元はである。の位相に関する表面的でない重要な結果の一つがブラウワーのである。の部分集合（に部分空間の位相を入れたもの）での別の開部分集合に同相となるものは、それ自身が開である。ここから直ちにとはのとき同相でないことが帰結される（これは直観的には明らかだが証明するのは難しい）。

位相次元が異なるにも拘らず、および素朴な予測に反して、低次元の数空間をの上に連続的に写すことができる。連続的（だが滑らかでない）空間充填曲線（の像）が可能である。

向きほかの一般の体と異なり、実数体が順序体となることから、上に向きが導かれる。からそれ自身への任意の非退化線型写像は、付随する行列の行列式の符号に従って、向きを保つか向きを逆にするかのいずれか一方に分類される。座標（基底の元）の置換を行った結果の向きは置換の偶奇性によって決まる。

またはその領域上の微分同相もまた向きを保つか逆にするかで分類できる。これは微分形式の理論で重要な帰結を持つ。

平行移動

は、ベクトル空間としてのがそれ自身に平行移動として作用するものとして、アフィン空間と看做すことができる。逆に、一つのベクトルを「二点間の変位」と解釈して、ふつうは二点を結び有向線分として描かれる。この違いはつまり、アフィンな -次元空間では標準的な原点の選び方が存在しない（平行移動でどこへでもやってしまえるから）ということである。

ユークリッド構造

点乗積

はベクトル空間上のノルムを定める。任意のベクトルがそのユークリッドノルムを持つならば、任意の二点間に距離

が定義され、には（そのアフィン構造に加えて）距離空間の構造が入る。

のベクトル空間の構造と同じく、上記の点乗積およびユークリッド距離は暗黙的にその存在が仮定されているのが通例である。しかし厳密に言えば、-次元実数空間と -次元ユークリッド空間は異なる数学的対象である。任意の -次元ユークリッド空間は、点乗積およびユークリッド距離が上記の形になるデカルト座標系（直交座標系）を持つが、一つのユークリッド空間上に直交座標系は「無数に」存在する。

逆に、ユークリッド距離に対する上記の式は上に「標準」ユークリッド構造を定めるが、それが唯一可能なユークリッド構造というわけではない。実際、任意の正定値二次形式は固有の「距離」を定義するが、これは

を満たすという意味においてユークリッド距離とそう変りない。このように距離を取り替えても、例えば完備性など、幾らかの性質は保たれる。

上記の距離函数の同値性はを任意の凸正斉一次函数（つまりベクトルのノルム）に対するで取り替えても正しい（例えばミンコフスキー距離を参照）。このように上の任意の「自然な」距離がユークリッド距離とそう大差ないという事実があるため、職業数学者の手になるものでさえが -次元ユークリッド空間と常に区別されるわけではない。

用例多変数函数の定義域

実 -変数の任意の函数は上の写像と看做すことができる（つまり、を定義域と考える）。複数の変数を個別に考える代わりに実 -次元数空間を考えることで、記法が簡素になり合理的な定義などが示唆される。例えばとして、連続函数およびに対して

なる形の写像の合成を考えるとき、が（に関して）連続、が（に関して）連続と仮定してもは必ずしも連続とならない。連続性はより強い条件であり、多変数の連続性と呼ばれるの自然な位相に関するの連続性は、合成函数が連続となるための十分条件になる。多様体論多様体の定義においてモデル空間はである必要はないのだが、そうするのが最も一般的な選択であり、微分幾何学においてはほとんどそうである。

他方、は任意の -次元可微分多様体がに埋め込めることを述べる。

その他上で定義されるその他の構造には、（が偶数のとき）斜交構造、（が奇数のとき）などが含まれる。これらの構造は座標に依存しないやり方で定義することもできるけれども、座標に関して標準形（および適当な意味で単純な形）にすることができる。

はの複素共軛不変な実線型部分空間でもある。も参照のこと。

Źródło i licencja