定義1.1 集合 X と X の部分集合族 \mathcal{O} の組 (X,\mathcal{O}) が位相空間であるとは, 次の2条件が満たされることをいう:
X を台集合, \mathcal{O} を位相構造あるいは単に位相という.
注意1.2 誤解の恐れのないときには, 位相空間を台集合と同じ X という記号で表すことが多い. しかし, 台集合 X を定めたからといって位相空間が一意に決まるわけではない.
定義1.3 位相空間 X が位相多様体であるとは, 次の3条件が満たされることをいう:
組 (U,\psi) を x の座標近傍という.
事実1.4 n\neq m ならば \mathbf{R}^n の空でない開集合と \mathbf{R}^m の空でない開集合は同相でない.
注意1.5 これはホモロジー論の初歩的だが重要な結果である.
定義1.6 位相多様体 X の各点 x に対応する自然数 n は一意に定まり, これを \dim_xX と表し, これが x によらず一定であることを X が純次元位相多様体であるという. 任意の点 x に対して \dim_xX=n であれば特に X を n 次元位相多様体という.
注意1.7 この「純次元」という語は pure dimension や [https://en.wikipedia.org/wiki/Equidimensionality equidimension] の訳語でありスキーム論でよく用いられる.
定義1.8 位相多様体 X の開集合 U 上の関数からなる集合 \mathcal{A}(U) を定める対応 \mathcal{A} が X 上の C^r 級微分構造であるとは, 次の3条件が満たされることをいう:
\in\mathcal{A}(U_{\lambda})\ (\lambda\in\Lambda) ならば f\in\mathcal{A}(U).
組 (X,\mathcal{A}) を C^r 級多様体という.
注意1.9 誤解の恐れのないときには, C^{\infty} 級多様体（resp. 微分構造）のことを単に多様体（resp. 微分構造）といい, 多様体を位相多様体と同じ X という記号で表すことが多い. しかし, 位相空間 X を定めたからといって多様体が一意に決まるわけではないことに注意せよ.