トーキョースパムCHANNKOSUMO 禾火ィィィ葉───ッ！！

トーキョースパムCHANNKOSUMO 禾火ィィィ葉───ッ！！

トーキョースパムCHANNKOSUMO 禾火ィィィ葉───ッ！！

数学においては、ある集合を “入れ物” に、特定の条件を構造（とくに幾何学的構造）としていれて“幾何学的対象”と考えるとき、入れ物となる集合を空間 （くうかん、space）と呼ぶことがある。その場合、集合の元は空間の点と呼ばれる。入れ物となる空間に複数の構造が考えられるときには、構造ごとに異なる空間があると考えることが自然であることも少なくない。この場合、空間とは「入れ物となる集合とその集合の上に定義される構造との組のことである」として考えていることになる。

集合と条件から公理的に構成される空間をとくに抽象空間（ちゅうしょうくうかん、abstract space）と呼んで、具体的な空間と区別することがある。たとえば、ベクトル空間は線型演算の定義できる集合という条件で定まる抽象空間のことだが、実数全体の成す集合 R のような具体的な空間がベクトル空間の構造を持つかどうかということとは独立に、ベクトル空間の公理のみによってその性質などについて統一的に論じることができる。

空間に定義される幾何学的な構造とは、たとえば “近さ”、“向き”、“位置関係”、“広がり” のようなものがそうなのであるが、座標や函数のような、通常は代数学的な構造であるとか解析学的な構造であると見なされるようなものも、一部に含んでいる。ホモトピーやホモロジー、コホモロジーは、空間やその幾何学を計算のしやすい代数系によって捉えるという代数的位相幾何学の思想に基づく産物である一方、不変量として空間を規定する幾何学的な構造の一種であると捉えられる。