実数空間

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

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

各  に対して数空間  はただ一つ存在する (the real -space)

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

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

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

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

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

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

平行移動 

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

ユークリッド構造 

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

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

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

逆に、ユークリッド距離に対する上記の式は  上に「標準」ユークリッド構造を定めるが、それが唯一可能なユークリッド構造というわけではない。実際、任意の正定値二次形式  は固有の「距離」 を定義するが、これは
 
を満たすという意味においてユークリッド距離とそう変りない。このように距離を取り替えても、例えば完備性など、幾らかの性質は保たれる。

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

用例

多変数函数の定義域 

実 -変数の任意の函数  は  上の写像と看做すことができる（つまり、  を定義域と考える）。複数の変数を個別に考える代わりに実 -次元数空間を考えることで、記法が簡素になり合理的な定義などが示唆される。例えば  として、連続函数  および  に対して
 
なる形の写像の合成を考えるとき、
  が（ に関して）連続、
  が（ に関して）連続
と仮定しても  は必ずしも連続とならない。連続性はより強い条件であり、多変数の連続性と呼ばれる  の自然な位相に関する  の連続性は、合成函数  が連続となるための十分条件になる。

多様体論 
多様体の定義においてモデル空間は  である必要はないのだが、そうするのが最も一般的な選択であり、微分幾何学においてはほとんどそうである。

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

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

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

関連項目

注釈

参考文献

外部リンク 
 
 
 

実数
位相線型空間
解析幾何学
多変数微分積分学
解析学
数学に関する記事