特性類

数学 > 位相幾何学 > 代数的位相幾何学 > コホモロジー、ファイバーバンドル > 特性類 特性類 (とくせいるい、英: Characteristic class) は、位相群を構造群とするファイバーバンドルの不変量であり、（十分性質がよい）位相空間Bを底空間とするファイバーバンドル π   :   E → X {\displaystyle \pi ~:~E\to X} に対し、Xのコホモロジー群の元を対応させる対応関係 c   :   ξ = ( E , X , π ) ↦ c ( ξ ) ∈ H q ( X ; A ) {\displaystyle c~:~\xi =(E,X,\pi )\mapsto c(\xi )\in H^{q}(X;A)} で、「自然な」ものである。 原理的には任意のファイバーバンドルに対して特性類を定義できるが、研究が進んでいるのは主にベクトルバンドルに対する特性類である。ベクトルバンドルの特性類は以下の数学の分野に応用がある： 障害理論（英語版） K理論 チャーン・ヴェイユ理論 コボルディズム理論 またXが可微分多様体であれば、Xの接バンドルTXの特性類をX自身の不変量とみなす事ができる。接バンドルTXはXの可微分構造に依存しているので、ミルナーはTXの特性類を利用する事により、7次元球面と位相同型だが微分位相同型ではない可微分多様体（英語版）の存在を示した。 1935年の多様体上のベクトル場についてのエドゥアルト・シュティーフェル (Eduard Stiefel) とハスラー・ホイットニー (Hassler Whitney) の仕事より、特性類の考え方が発生した。 以下、Fをファイバーに持つファイバーバンドルの事をF-バンドルと呼ぶこととし、全空間E、底空間Xおよび射影 π   :   E → X {\displaystyle \pi ~:~E\to X} からなるF-バンドルを ( E , X , π ) {\displaystyle (E,X,\pi )} と表記する。特性類の概念を厳密に定義するには圏論の概念を使う必要があるので、まずは若干厳密性を犠牲にした定義を以下に述べる： 定義 (特性類) ― Gを位相群とし、FをGが作用する位相空間とし、Aをアーベル群とし、さらにqを非負整数とする。このとき次数qのA係数特異コホモロジー群におけるGに関する特性類とは、CW複体を底空間とし構造群Gを持つF-バンドル ξ = ( E , X , π ) {\displaystyle \xi =(E,X,\pi )} にコホモロジー群 H q ( X ; A ) {\displaystyle H^{q}(X;A)} の元を対応させる「対応関係」 c   :   ξ = ( E , X , π ) ↦ c ( ξ ) ∈ H q ( X ; A ) {\displaystyle c~:~\xi =(E,X,\pi )\mapsto c(\xi )\in H^{q}(X;A)} で、任意のCW複体X、Y、構造群Gを持つY上の任意のF-バンドル ξ = ( E , Y , π ) {\displaystyle \xi =(E,Y,\pi )} 、および任意の連続写像 f   :   X → Y {\displaystyle f~:~X\to Y} に対し、 f ∗ ( c ( ξ ) ) = c ( f ∗ ( ξ ) ) {\displaystyle f^{*}(c(\xi ))=c(f^{*}(\xi ))} が成立するものの事をいう。またF-バンドル ξ {\displaystyle \xi } のcによる像 c ( ξ ) {\displaystyle c(\xi )} の事をξの(cに関する)特性類と呼ぶ。 上の定義における記号の意味を説明すると、 f ∗ ( c ( ξ ) ) = c ( f ∗ ( ξ ) ) {\displaystyle f^{*}(c(\xi ))=c(f^{*}(\xi ))} における左辺の f ∗ {\displaystyle f^{*}} は、fがコホモロジーに誘導する写像 f ∗   :   c ( ξ ) ∈ H q ( Y , A ) ↦ f ∗ ( c ( ξ ) ) ∈ H q ( X , A ) {\displaystyle f^{*}~:~c(\xi )\in H^{q}(Y,A)\mapsto f^{*}(c(\xi ))\in H^{q}(X,A)} の事であり、右辺の f ∗ {\displaystyle f^{*}} はX上のF-バンドル ξ = ( E , X , π ) {\displaystyle \xi =(E,X,\pi )} のfによる引き戻しによって定義されるY上のF-バンドルの事である。 上の定義に関して２つの注意点を述べる。第一に、上の定義におけるバンドル写像fは構造群GのFへの作用と両立するもののみを考えている。したがって例えばn次元実ベクトルバンドルを G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} を構造群として持つ R n {\displaystyle \mathbb {R} ^{n}} -バンドルとみなしたとき、各点 x ∈ X {\displaystyle x\in X} のファイバー F x {\displaystyle F_{x}} 上にバンドル写像fを制限した f | x   :   F x → F y {\displaystyle f|_{x}~:~F_{x}\to F_{y}} は線型同型写像でなければならず、行列式が0になってはならない。逆に言えば、いずれかの点 x ∈ X {\displaystyle x\in X} で行列式が0になるfに対しては f ∗ ( c ( ξ ) ) = c ( f ∗ ( ξ ) ) {\displaystyle f^{*}(c(\xi ))=c(f^{*}(\xi ))} が成立する必要はないし、次元が異なるベクトルバンドル間の写像に関してもこの性質が成立する必要はない。 第二に、本項では多くの教科書と同様、ファイバーバンドルの底空間BがCW複体である場合に限定して特性類を定義したが、より一般の空間、例えばパラコンパクトな位相空間に対しても特性類を定義できる。ただしこの場合本項で述べる性質のいくつかは成立しない。なお幾何学における多くの用途ではCW複体を対象にすれば十分である。実際、任意の可微分多様体は単体的複体、したがってCW複体と位相同型になる事が知られており、（可微分とは限らない）位相多様体もコンパクトな場合はCW複体とホモトピー同型になる事が知られている。さらにいえば任意の位相空間はCW複体と弱ホモトピー同型（英語版）である。 また本項では底空間Bに対してはCW複体である事を要求したものの、構造群G、ファイバーF、全空間Eは（CW複体とは限らない）任意の位相群、位相空間でよい。 構造群を持つファイバーバンドルの性質として以下が知られている： 定理 ― X、Yを位相空間とし、 ξ = ( E , Y , π ) {\displaystyle \xi =(E,Y,\pi )} を位相群Gを構造群として持つF-バンドルとし、さらに2つの連続写像 f , g   :   X → Y {\displaystyle f,g~:~X\to Y} がホモトープであるとする。このときf、gによる引き戻し f ∗ ( ξ ) {\displaystyle f^{*}(\xi )} 、 g ∗ ( ξ ) {\displaystyle g^{*}(\xi )} は自然に同型である。 よって特に任意の特性類cに対し、 c ( f ∗ ( ξ ) ) = c ( g ∗ ( ξ ) ) {\displaystyle c(f^{*}(\xi ))=c(g^{*}(\xi ))} すなわち特性類を考える上では、底空間の間の写像はホモトピークラスのみを考慮すればよい。 以上では特性類の定義に「対応関係」という未定義の言葉を使ったが、圏論の概念を使えばこうした未定義の語に頼らずに特性類の概念を定義できる： 定義 (特性類の厳密な定義) ― G、A、qを上の定義と同様に取る。対象をCW複体、射を連続写像のホモトピークラスとする圏CWをとし、さらにSetを集合の圏とし、 反変関手 b   :   C W → S e t {\displaystyle b~:~\mathbf {CW} \to \mathbf {Set} } を以下のように定義する： CWの対象Xに対し、Xを底空間とするF-バンドル（でGを構造群に持つもの）のホモトピーによる同型類全体の集合をb(X)と定義する CWの対象間の射 [ f ]   :   X → Y {\displaystyle [f]~:~X\to Y} に対し、 b ( f ) = [ f ∗ ] {\displaystyle b(f)=[f^{*}]} と定義する。ここで [ f ] {\displaystyle [f]} はホモトピークラスであり、 f ∗ {\displaystyle f^{*}} はバンドルの引き戻し f ∗   :   ξ ∈ b ( Y ) ↦ f ∗ ( ξ ) ∈ b ( X ) {\displaystyle f^{*}~:~\xi \in b(Y)\mapsto f^{*}(\xi )\in b(X)} である。 このとき、次数qのA係数コホモロジー群における構造群Gを持つF-バンドルに関する特性類とは、反変関手 b {\displaystyle b} から反変関手 H q ( − , A )   :   X ∈ C W ↦ H q ( X , A ) ∈ S e t {\displaystyle H^{q}(-,A)~:~X\in \mathbf {CW} \mapsto H^{q}(X,A)\in \mathbf {Set} } への自然変換の事である。また構造群Gを持つF-バンドル ξ {\displaystyle \xi } （の同型類）のcによる像 c ( ξ ) {\displaystyle c(\xi )} の事をξの(cに関する)特性類と呼ぶ。 なお、上述の特性類の定義において圏CWの射は連続写像としたが、下記の定理より、これを胞体写像に変えても定義は同値になる： 定理 (胞体近似定理（英: cellular approximation theorem）) ― X、YをCW複体とすると、 任意の連続写像 f   :   X → Y {\displaystyle f~:~X\to Y} は胞体写像(英: cellular map)とホモトープである。 特性類に登場するコホモロジーとして、特異コホモロジーより簡便な（だが特異コホモロジーと同値である）胞体コホモロジーを用いる場合は議論に胞体写像を用いる必要があるのでこの定理は有用である。 以下の事実は特性類を具体的に定義する上で鍵となる重要な性質である： 定理 ― 構造群GのファイバーFへの作用が効果的であれば、構造群Gを持つF-バンドルと、構造群G を持つ主G-バンドルと1対1対応する。 この定理と特例類の定義からファイバーバンドルの特性類と主バンドルの特性類が1対1対応するという重要な事実が明らかに従う： 定理 ― GがFに効果的に作用しているとき、以下が成立する 構造群Gを持つF-バンドル ϕ {\displaystyle \phi } に対応する主G-バンドルを ρ ϕ {\displaystyle \rho _{\phi }} とし、cを主G-バンドルの特性類とすると、 c ′ ( ϕ ) := c ( ρ ϕ ) {\displaystyle c'(\phi ):=c(\rho _{\phi })} は構造群Gを持つ-Fバンドルの特性類である。 逆に主G-バンドル ρ {\displaystyle \rho } に対応するF-バンドルを ϕ ρ {\displaystyle \phi _{\rho }} とすると、dを構造群Gを持つF-バンドルの特性類とすると、 d ′ ( ρ ) := d ( ϕ ρ ) {\displaystyle d'(\rho ):=d(\phi _{\rho })} は主G-バンドルの特性類である。 この事実からファイバーバンドルに対して特性類を定義するには主バンドルに対して特性類が定義できる事が必要十分である事がわかる。そこで以下、おもに主バンドルにフォーカスして特性類の議論をすすめる事とする。 なお上の定理ではGがFに効果的に作用している事を仮定しているが、多くの場合この仮定は必須ではない。実際、Fが十分性質の良い空間、たとえはCW複体であれば、GのFへの作用が連続である必要十分条件は、GのFへ作用のから定まる写像 ϕ   :   G → H o m e o ( F ) {\displaystyle \phi ~:~G\to \mathrm {Homeo} (F)} が（ H o m e o ( F ) {\displaystyle \mathrm {Homeo} (F)} にコンパクト開位相を入れたとき）連続になる事である。よってGの作用が忠実ではない場合であっても、写像 ϕ {\displaystyle \phi } のカーネルで割った位相群 G / k e r ϕ {\displaystyle G/\mathrm {ker} \phi } はFへ忠実かつ連続に作用するので、F-バンドルの特性類を定義するには主 G / k e r ϕ {\displaystyle G/\mathrm {ker} \phi } -バンドルの特性類を定義すれば良い。 本節では位相群の分類空間のいう概念を導入し、分類空間の概念を用いて主バンドルの特性類の概念を全く別の角度から特徴づける。この分類空間を用いた特性類の定義は、後の節で特性類の具体例を構築する上で非常に有益である。 分類空間の概念を定義するため、まず以下の概念を定義する。 定義 ― 位相空間Xが弱可縮（英語版）であるとは、任意の自然数nに対し、n次のホモトピー群 π n ( X ) {\displaystyle \pi _{n}(X)} が0になる事である。 弱可縮の概念を用いて、分類空間の概念は以下のように定義される： 定義 ― Gを位相群とする。 ( P , B , π ) {\displaystyle (P,B,\pi )} を主G-バンドルでPが弱可縮なものとするとき、Bの事をGの分類空間（英: classifying space）といい、 ( P , B , π ) {\displaystyle (P,B,\pi )} を（あるいは単にPを）普遍G-バンドル（英: universal G-bundle）という。 「分類空間」という名称の由来は次節に回すが、分類空間は必ず存在し、本質的に一意である： 定理 (普遍G-バンドルの存在性と本質的な一意性) ― 任意の位相群Gに対し、分類空間とその上の普遍G-バンドルが存在する。しかも分類空間はcanonicalなホモトピー同型を除いて一意であり、普遍G-バンドルもG-ホモトピー同型を除いて一意である。さらに分類空間としてCW複体を取る事が可能である。 記号の定義 ― Gの（ホモトピー同型を除いて）一意に存在する分類空間、普遍G-バンドルをそれぞれBG、PGと表記する。 上述したように、分類空間はホモトピー同型を除いて一意ではあるものの、同一の位相群に対し位相同型ではない複数の分類空間が存在しうる。このため位相群に対する個々の分類空間の事を分類空間のモデル（英: model）という。 分類空間はその名称が示す通り、与えられた底空間上のG-バンドルは、底空間から普遍G-バンドル ( P G , B G , π G ) {\displaystyle (PG,BG,\pi _{G})} への写像のホモトピークラスにより完全に分類される： 定理 (分類定理) ― Gを位相群とし、 ( P , B , π G ) {\displaystyle (P,B,\pi _{G})} を主G-バンドルとする。 さらにXを任意のCW複体とし、 [ X , B ] {\displaystyle [X,B]} をXからBへの連続写像のホモトピークラス全体の集合とし、 P G ( X ) {\displaystyle {\mathcal {P}}_{G}(X)} をX上の主G-バンドルの同型類の集合とする。 このとき ( P , B , π G ) {\displaystyle (P,B,\pi _{G})} が普遍G-バンドルである必要十分条件は任意のCW複体Xに対し、 [ f ] ∈ [ X , B ] ↦ f ∗ ( P ) ∈ P G ( X ) {\displaystyle [f]\in [X,B]\mapsto f^{*}(P)\in {\mathcal {P}}_{G}(X)} が全単射な事である。ここで f ∗ ( P ) {\displaystyle f^{*}(P)} は f   :   X → B {\displaystyle f~:~X\to B} によるPのXへの引き戻しである。 なお、上の定理において写像 [ f ] ∈ [ X , B ] ↦ f ∗ ( P ) ∈ P G , F ( X ) {\displaystyle [f]\in [X,B]\mapsto f^{*}(P)\in {\mathcal {P}}_{G,F}(X)} がwell-definedな事は、ホモトープな２つの写像が引き戻したバンドルは互いに同型な事だというすでに見た事実から従う。 上記の定理から、X上の任意の主G-バンドルξに対し、写像 f   :   X → B {\displaystyle f~:~X\to B} がホモトピー同値を除いて一意に定まる。このfの事をξの分類写像（英: classifying map）という。 構造群Gを持つファイバーバンドルと主G-バンドルは1対1対応するので、上記の定理から一般のファイバーバンドルに対する分類定理が系として従う： 系 (ファイバーバンドルに対する分類定理) ― Gを位相群とし、 ( P , B , π G ) {\displaystyle (P,B,\pi _{G})} を普遍G-バンドルとし、FをGが忠実に作用する位相空間とし、 ( E , B , π G ) {\displaystyle (E,B,\pi _{G})} を ( P , B , π G ) {\displaystyle (P,B,\pi _{G})} に随伴するF-バンドルとする。さらにCW複体Xに対し、構造群Gを持つX上のF-バンドル全体の集合を E G , F ( X ) {\displaystyle {\mathcal {E}}_{G,F}(X)} とする。 このとき、任意のCW複体Xに対し、 [ f ] ∈ [ X , B ] ↦ f ∗ ( E ) ∈ E G , F ( X ) {\displaystyle [f]\in [X,B]\mapsto f^{*}(E)\in {\mathcal {E}}_{G,F}(X)} が全単射である。 分類定理の場合と同様、X上のF-バンドルξに対応する写像 f   :   X → B {\displaystyle f~:~X\to B} をξの分類写像（英: classifying map）という。 Gが離散群である場合は、定義より明らかに次が成立する： 定理 ― 離散群Gに対し、Gのアイレンベルグ・マックレーン空間（英語版）(英: Eilenberg-Maclane space) K ( G , 1 ) {\displaystyle K(G,1)} 、およびその普遍被覆空間 π   :   P → K ( G , 1 ) {\displaystyle \pi ~:~P\to K(G,1)} はGの分類空間、普遍Gバンドルである。 この意味において、分類空間とは離散群におけるアイレンベルグ・マックレーン空間の概念を位相群に拡張したものである。 2つの位相群G、Hの間の連続な準同型写像 φ   :   G → H {\displaystyle \varphi ~:~G\to H} が与えられたとき、φから分類空間の間の写像 B φ   :   B G → B H {\displaystyle B\varphi ~:~BG\to BH} を定義できる。 この事を見るために主バンドルの一般論を簡単に復習する。 π   :   P → X {\displaystyle \pi ~:~P\to X} を主G-バンドルとし、 φ   :   G → H {\displaystyle \varphi ~:~G\to H} を連続準同型写像とするとき、 P × φ H {\displaystyle P\times _{\varphi }H} を P G × H {\displaystyle PG\times H} を同値関係 ( a g , h ) ∼ ( a , φ ( g ) h )    for some   g ∈ G {\displaystyle (ag,h)\sim (a,\varphi (g)h)~{\text{ for some}}~g\in G} で割った空間とする事で、バランス積（balanced product）と呼ばれるX上の主H-バンドル [ ( a , h ) ] ∈ P × φ H ↦ π ( a ) ∈ X {\displaystyle [(a,h)]\in P\times _{\varphi }H\mapsto \pi (a)\in X} を構成できる。そこで B φ   :   B G → B H {\displaystyle B\varphi ~:~BG\to BH} を次のように定義する： 記号の定義 ―  G、Hを位相群とし、 φ   :   G → H {\displaystyle \varphi ~:~G\to H} を連続準同型写像とする。 普遍G-バンドル π   :   P G → B G {\displaystyle \pi ~:~PG\to BG} から主H-バンドル P G × φ H → B G {\displaystyle PG\times _{\varphi }H\to BG} を構成すると、分類定理よりこの主H-バンドルに対応する（ホモトピー同値を除いて一意に定まる）分類写像を B φ   :   B G → B H {\displaystyle B\varphi ~:~BG\to BH} と表記する。 実はこの対応関係は関手になっている： 定理 ― 以下のようにBを定義すると、Bは位相群の圏からCW空間のホモトピー同値類の圏への関手である： 位相群GにBGを対応させる 連続準同型写像 φ   :   G → H {\displaystyle \varphi ~:~G\to H} に B φ   :   B G → B H {\displaystyle B\varphi ~:~BG\to BH} を対応させる。 本節では、後で特性類を計算するとき必要となる分類空間の性質を述べる。 分類空間の関手Bは直積に関して以下のように振る舞う。 定理 (直積の分類空間) ― G、Hを位相群とするとき、 B ( G × H ) ≈ B G × k B H ≈ w B G × B H {\displaystyle B(G\times H)\approx BG\times _{k}BH\approx _{w}BG\times BH} が成立する。 ここで「 B G × B H {\displaystyle BG\times BH} 」は位相空間としての直積であり、「 B G × k B H {\displaystyle BG\times _{k}BH} 」はBGとBHの位相空間としての直積から誘導されるコンパクト生成位相（英語版）を入れた位相空間である。「 ≈ {\displaystyle \approx } 」は自然なホモトピー同値であり、「 ≈ w {\displaystyle \approx _{w}} 」は自然な弱ホモトピー同値（英語版）である。 ここで弱ホモトピー同値とは、任意のnに対しホモトピー群πnが同型になる事を指す。 なお圏論的に言えば、「 X × k Y {\displaystyle X\times _{k}Y} 」はコンパクト生成位相空間の圏における圏論的な直積になっている。 定理 (部分群の分類空間) ― Gを位相群とし、Hをその部分位相群とする。このときBG、BHのモデルを適切に選ぶと、包含写像 ι   :   H ↪ G {\displaystyle \iota ~:~H\hookrightarrow G} が誘導する写像 B ι   :   B H → B G {\displaystyle B\iota ~:~BH\to BG} は各ファイバーが G / H {\displaystyle G/H} と位相同型なファイバーバンドルになる。特にHがGの正規部分群であれば、 B ι   :   B H → B G {\displaystyle B\iota ~:~BH\to BG} は G / H {\displaystyle G/H} -主バンドルになる。 証明 一般にG-主バンドル P → X {\displaystyle P\to X} には、Pに対するGの自然な作用があり、この作用でPを割った空間 P / G {\displaystyle P/G} はXと位相同型であるので、普遍Gバンドル π G   :   P G → B G {\displaystyle \pi _{G}~:~PG\to BG} をこのGの作用で割ると P G / G ≈ B G {\displaystyle PG/G\approx BG} が成立する。 HはGの部分群なので、Hの作用でPを割った P G / H {\displaystyle PG/H} を考える事ができる。このとき P G → P G / H {\displaystyle PG\to PG/H} はH-主バンドルであり、しかもPGの定義からPGは弱可縮なので、 P G → P G / H {\displaystyle PG\to PG/H} はH-普遍バンドルである。よって P G / H {\displaystyle PG/H} はBHのモデルの１つであり、PGは対応するH-普遍バンドルである。 そこで以下 P H = P G {\displaystyle PH=PG} 、 B H = P G / H {\displaystyle BH=PG/H} とみなすと、可換図式 P H = P G → i d P G ↓ ↻ ↓ B H = P G / H → B G = P G / G {\displaystyle {\begin{array}{ccc}PH=PG&{\overset {id}{\to }}&PG\\\downarrow &\circlearrowright &\downarrow \\BH=PG/H&\to &BG=PG/G\end{array}}} が考えられ、この可換図式にバランス積を取ることで、 P H = P G × H G → P G × G G ≈ P G ↓ ↻ ↓ B H = P G / H → B G = P G / G {\displaystyle {\begin{array}{ccc}PH=PG\times _{H}G&\to &PG\times _{G}G\approx PG\\\downarrow &\circlearrowright &\downarrow \\BH=PG/H&\to &BG=PG/G\end{array}}} と書ける。 B ι {\displaystyle B\iota } の定義から B ι   :   B H → B G {\displaystyle B\iota ~:~BH\to BG} はバランス積 P H × ι G → B H = P G / H {\displaystyle PH\times _{\iota }G\to BH=PG/H} の分類写像であったので、上述の議論から B ι {\displaystyle B\iota } は商写像 B H = P G / H → B G = P G / G {\displaystyle BH=PG/H\to BG=PG/G} に一致する。 B H = P G / H → B G = P G / G {\displaystyle BH=PG/H\to BG=PG/G} は G / H {\displaystyle G/H} をファイバーとするバンドルであり、特にHが正規部分群であれば G / H {\displaystyle G/H} -主バンドルであるので定理が示された。 分類空間の概念を用いる事により、主バンドルに対する特性類の概念を以下のように特徴づける事ができる： 定理 (分類空間による特性類の特徴づけ) ―  B G {\displaystyle BG} を位相群Gの分類空間とし、FをGが効果的に作用する位相空間とし、さらにAをアーベル群とする。 このとき構造群Gを持つF-バンドルの特性類とBGのコホモロジー群 H ∗ ( B G ; A ) {\displaystyle H^{*}(BG;A)} の元は1対1対応する。 上述の定理の1対1関係は具体的に以下のようにかける。すでに述べたように構造群Gの忠実な作用を持つ任意のF-バンドルの特性類は主G-バンドルの特性類と主G-バンドルの1対1対応するのでこの場合に話を限定する。 まず主G-バンドルの任意の特性類cに対し、 c ( P G ) ∈ H ∗ ( B G ; A ) {\displaystyle c(PG)\in H^{*}(BG;A)} が対応する。逆に c G ∈ H ∗ ( B G ; A ) {\displaystyle c_{G}\in H^{*}(BG;A)} を任意に選ぶと、主G-バンドル ξ = ( P , X , π ) {\displaystyle \xi =(P,X,\pi )} に対し、分類定理により分類写像 f ξ   :   X → B G {\displaystyle f_{\xi }~:~X\to BG} がホモトピーを除いて一意に定まるので、Xのcに対する特性類を c ( ξ ) := f ξ ∗ ( c G ) ∈ H ∗ ( X ; A ) {\displaystyle c(\xi ):=f_{\xi }{}^{*}(c_{G})\in H^{*}(X;A)} により定義できる。 上の定理から、 H ∗ ( B G ; A ) {\displaystyle H^{*}(BG;A)} の元を普遍特性類(英: universal characteristic class)という事がある。上の定理は普遍特性類と特性類が1対1対応する事を意味している。 定理の証明は以下の通りである： 証明 まずコホモロジーの元 f ξ ∗ ( c G ) {\displaystyle f_{\xi }{}^{*}(c_{G})} はホモトピーに依存せずに定まるので、 c ( ξ ) = f ξ ∗ ( c G ) {\displaystyle c(\xi )=f_{\xi }{}^{*}(c_{G})} はwell-definedである。 次に、 c ( ξ ) = f ξ ∗ ( c G ) {\displaystyle c(\xi )=f_{\xi }{}^{*}(c_{G})} が前の節で述べた特性類の定義を満たす事を示す。CW複体X、Yの間の任意の連続写像 g   :   X → Y {\displaystyle g~:~X\to Y} とY上の任意の主G-バンドル η = ( P , Y , π ) {\displaystyle \eta =(P,Y,\pi )} に対し、ηの分類写像を f η   :   Y → B G {\displaystyle f_{\eta }~:~Y\to BG} とし、X上のバンドル ξ := g ∗ ( η ) {\displaystyle \xi :=g^{*}(\eta )} の分類写像を f ξ   :   X → B G {\displaystyle f_{\xi }~:~X\to BG} とすると、 f ξ ∗ ( P G ) ≈ ξ = g ∗ ( η ) {\displaystyle f_{\xi }{}^{*}(PG)\approx \xi =g^{*}(\eta )} と g ∗ ( f η ∗ ( P G ) ) ≈ g ∗ ( η ) {\displaystyle g^{*}(f_{\eta }{}^{*}(PG))\approx g^{*}(\eta )} は同型なバンドルを定めるので、分類定理より f ξ {\displaystyle f_{\xi }} と f η ∘ g {\displaystyle f_{\eta }\circ g} はホモトープである。よって c ( g ∗ ( η ) ) = c ( ξ ) = f ξ ∗ ( c G ) = g ∗ ( f η ∗ ( c G ) ) = g ∗ ( c ( η ) ) {\displaystyle c(g^{*}(\eta ))=c(\xi )=f_{\xi }{}^{*}(c_{G})=g^{*}(f_{\eta }{}^{*}(c_{G}))=g^{*}(c(\eta ))} が成立する。 定理の対応関係が1対1である事は明らかである。 特性類の概念は原理的には任意の位相群の主バンドルに対して定義できるが、研究が進んでいるのはベクトルバンドル（の主バンドル）に対する特性類である。 そこでベクトルバンドルの特性類について記述するための準備として、本節ではベクトルバンドルの構造群の分類空間を具体的に記述する。 すなわち本節では K = C , R {\displaystyle K=\mathbb {C} ,\mathbb {R} } に対し、一般線型群 G L n ( K ) {\displaystyle GL_{n}(K)} の分類空間を記述する。さらに R {\displaystyle \mathbb {R} } の場合にはベクトルバンドルに向き付けが定義可能なので、向き付け可能な R {\displaystyle \mathbb {R} } 上ベクトルバンドルの構造群である G L n + ( R ) {\displaystyle GL_{n}^{+}(\mathbb {R} )} の分類空間についても記述する。ここで G L n + ( R ) {\displaystyle GL_{n}^{+}(\mathbb {R} )} は行列式が正の R {\displaystyle \mathbb {R} } 上可逆行列のなす群である。 本節ではさらに、ユニタリ群 U n {\displaystyle U_{n}} 、直交群 O n {\displaystyle O_{n}} 、回転群 S O n {\displaystyle SO_{n}} の分類空間についても記述する。後述するように G L n ( C ) {\displaystyle GL_{n}(\mathbb {C} )} 、 G L n ( R ) {\displaystyle GL_{n}(\mathbb {R} )} 、 G L n + ( R ) {\displaystyle GL_{n}^{+}(\mathbb {R} )} の分類空間は、実はそれぞれ U n {\displaystyle U_{n}} 、 O n {\displaystyle O_{n}} 、 S O n {\displaystyle SO_{n}} の分類空間と等しい。 GLn(K)の分類空間を記述する為、本節ではスティーフェル多様体（英語版）とグラスマン多様体（英語版）を定義する。 後述するようにこれらはそれぞれ普遍GLn(K)-バンドルの全空間、分類空間になる。 定義 (スティーフェル多様体) ―  K = C , R {\displaystyle K=\mathbb {C} ,\mathbb {R} } とし、 W {\displaystyle W} をK上計量ベクトル空間とする。 W {\displaystyle W} のn個の一次独立なベクトルの組を W {\displaystyle W} 上のn-フレームという。さらにn個のベクトルがすべて長さ1で互いに直交しているものをn-正規直交フレームという。 V n W := { W {\displaystyle V_{n}W:=\{W} 上n-のフレーム } {\displaystyle \}} とし、さらに { W {\displaystyle \{W} 上のn-正規直交フレーム } {\displaystyle \}} を V n U W {\displaystyle V_{n}^{U}W} （ K = C {\displaystyle K=\mathbb {C} } の場合）、もしくは V n O W {\displaystyle V_{n}^{O}W} （ K = R {\displaystyle K=\mathbb {R} } の場合）と書く事にする。 V n W {\displaystyle V_{n}W} 、 V n U W {\displaystyle V_{n}^{U}W} 、 V n O W {\displaystyle V_{n}^{O}W} の事をW上のn次元スティーフェル多様体（英語版）（英: Stiefel manifold）という。 Wが次元mの有限次元ベクトル空間の場合は、 V n W {\displaystyle V_{n}W} 、 V n U W {\displaystyle V_{n}^{U}W} 、 V n O W {\displaystyle V_{n}^{O}W} は集合として自然に V n W ≃ G L m ( K ) / G L m − n ( K ) V n U W ≃ U ( m ) / U ( m − n )     when  K = C V n O W ≃ O ( m ) / O ( m − n )     when  K = R {\displaystyle {\begin{aligned}V_{n}W&\simeq \mathrm {GL} _{m}(K)/\mathrm {GL} _{m-n}(K)\\V_{n}^{U}W&\simeq U(m)/U(m-n)~~{\text{when }}K=\mathbb {C} \\V_{n}^{O}W&\simeq O(m)/O(m-n)~~{\text{when }}K=\mathbb {R} \end{aligned}}} という同一視ができ、上式右辺には多様体としての構造が入る事がリー群の一般論から従うので、スティーフェル「多様体」と呼ぶ。Wが無限次元の場合は V n W {\displaystyle V_{n}W} 、 V n U W {\displaystyle V_{n}^{U}W} 、 V n O W {\displaystyle V_{n}^{O}W} は有限次元多様体にはならないが、言葉を混用してこの場合もスティーフェル「多様体」と呼ぶ。 定義 (グラスマン多様体) ―  K {\displaystyle K} 、 W {\displaystyle W} を上と同様に取り、Wのn次元部分ベクトル空間全体の集合 G n W {\displaystyle G_{n}W} をW上のn次元グラスマン多様体（英語版）（英: Grassmannian）という。 また、 K = R {\displaystyle K=\mathbb {R} } のとき、Wの向きづけられたn次元部分ベクトル空間全体の集合 G ~ n W {\displaystyle {\tilde {G}}_{n}W} をW上のn次元向きづけられたグラスマン多様体（英: oriented Grassmannian）という。 スティーフェル多様体と同様、Wが次元mの有限次元ベクトル空間であれば、 G n W ≃ G L m ( K ) / ( G L n ( K ) × G L m − n ( K ) ) ≃ { U ( m ) / ( U ( n ) × U ( m − n ) )     when  K = C O ( m ) / ( O ( n ) × O ( m − n ) )     when  K = R {\displaystyle G_{n}W\simeq \mathrm {GL} _{m}(K)/(\mathrm {GL} _{n}(K)\times \mathrm {GL} _{m-n}(K))\simeq {\begin{cases}U(m)/(U(n)\times U(m-n))~&~{\text{when }}K=\mathbb {C} \\O(m)/(O(n)\times O(m-n))~&~{\text{when }}K=\mathbb {R} \end{cases}}} および G ~ n W ≃ G L m ( K ) / ( G L n + ( K ) × G L m − n ( K ) ) ≃ O ( m ) / ( S O ( n ) × O ( m − n ) )     when  K = R {\displaystyle {\tilde {G}}_{n}W\simeq \mathrm {GL} _{m}(K)/(\mathrm {GL} _{n}^{+}(K)\times \mathrm {GL} _{m-n}(K))\simeq O(m)/(SO(n)\times O(m-n))~~{\text{when }}K=\mathbb {R} } という同一視ができ、この同一視により、 G n W {\displaystyle G_{n}W} 、 G ~ n W {\displaystyle {\tilde {G}}_{n}W} に多様体としての構造が入る。 スティーフェル多様体 V n W {\displaystyle V_{n}W} の元であるn-フレームにそのフレームの貼る部分空間を対応させる事で商写像 π n   :   V n W → G n W {\displaystyle \pi _{n}~:~V_{n}W\to G_{n}W} を定義できる。 π n   :   V n U W → G n W {\displaystyle \pi _{n}~:~V_{n}^{U}W\to G_{n}W} 、 π n   :   V n O W → G n W {\displaystyle \pi _{n}~:~V_{n}^{O}W\to G_{n}W} 、 π n   :   V n O W → G ~ n W {\displaystyle \pi _{n}~:~V_{n}^{O}W\to {\tilde {G}}_{n}W} も同様に定義できる。 定理 (GLn(K)、U(n)、O(n)、SO(n)の分類空間) ―  K = C , R {\displaystyle K=\mathbb {C} ,\mathbb {R} } とし、 W {\displaystyle W} をK上の任意の計量ベクトル空間とする。このとき、 π n   :   V n W → G n W {\displaystyle \pi _{n}~:~V_{n}W\to G_{n}W} 、 π n   :   V n U W → G n W {\displaystyle \pi _{n}~:~V_{n}^{U}W\to G_{n}W} 、 π n   :   V n O W → G n W {\displaystyle \pi _{n}~:~V_{n}^{O}W\to G_{n}W} 、 π n   :   V n O W → G ~ n W {\displaystyle \pi _{n}~:~V_{n}^{O}W\to {\tilde {G}}_{n}W} はそれぞれ主GLn(K)-バンドル、主U(n)-バンドル、主O(n)-バンドル、主SO(n)-バンドルである。 さらに包含写像 K 1 ⊂ K 2 ⊂ K 3 ⊂ ⋯ {\displaystyle K^{1}\subset K^{2}\subset K^{3}\subset \cdots } の帰納的極限を K ∞ := lim m → ∞ K m {\displaystyle K^{\infty }:=\lim _{m\to \infty }K^{m}} とし、WがK∞の場合を考えると、これらはそれぞれ普遍GLn(K)-バンドル、普遍U(n)-バンドル、普遍O(n)-バンドル、普遍SO(n)-バンドル（のモデルの1つ）である。 上記の定理に関する留意点を述べる。 K = C , R {\displaystyle K=\mathbb {C} ,\mathbb {R} } に対するGLn(K)の分類空間はU(n)、O(n)の分類空間と同一な空間 G n K ∞ {\displaystyle G_{n}K^{\infty }} である。 これはCW複体上の任意のベクトルバンドルには必ず内積が定義でき、グラム・シュミットの正規直交化法によりGLn(K)がU(n)、O(n)に可縮である事が理由である。 分類定理で述べたように、GnK∞上の主GLn(K)-バンドルVnK∞に随伴するn次元ベクトルバンドルは、任意のCW複体X上のn次元ベクトルバンドルを分類する上で有益である。このためVnK∞に随伴するn次元ベクトルバンドルの事を普遍n-平面バンドル（英: universal n-plane bundle）と呼ぶ。 バンドルの一般論から、普遍n-平面バンドルは ( V n K ∞ × K n ) / G L n ( K ) {\displaystyle (V_{n}K^{\infty }\times K^{n})/GL_{n}(K)} と表記できるが、より具体的に表記する事も可能である。 グラスマン多様体GnKmはKmのn次元部分ベクトル空間全体のなす多様体なので、グラスマン多様体の元V＝ベクトル空間上のファイバーとして、V自身を取ったベクトルバンドルを定義でき、これをグラスマン多様体のトートロジカル・バンドル（英語版）と呼ぶが、GnK∞のトートロジカル・バンドルが普遍n-平面バンドルになっている。 具体的には E n m := { ( V , v ) ∈ G n K m × K m ∣ v ∈ V } {\displaystyle E_{n}^{m}:=\{(V,v)\in G_{n}K^{m}\times K^{m}\mid v\in V\}} とし、第一成分への射影 π n m   :   ( V , v ) ∈ E n m ↦ V ∈ G n K m {\displaystyle \pi _{n}^{m}~:~(V,v)\in E_{n}^{m}\mapsto V\in G_{n}K^{m}} により E n m {\displaystyle E_{n}^{m}} をGnKm上のベクトルバンドルとみなしたものがGnKmのトートロジカル・バンドルであり、m→∞に関する帰納的極限をとった π n   :   E n → G n K ∞ {\displaystyle \pi _{n}~:~E_{n}\to G_{n}K^{\infty }} が普遍n-平面バンドルになっている。 本章では、複素ベクトルバンドルの特性類であるチャーン類について述べる。これまでの議論からわかるように、複素ベクトルバンドルの整数係数の特性類とは分類空間 B G L n ( C ) = B U ( n ) = G n C ∞ {\displaystyle BGL_{n}(\mathbb {C} )=BU(n)=G_{n}\mathbb {C} ^{\infty }} のコホモロジー H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の元と1対1対応するので、 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の具体的構成を調べる事で複素ベクトルバンドルの特性類を決定できる。チャーン類は、 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の生成元である。 チャーン類について記述するため、まず H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の具体的構成を調べる。 n = 1 {\displaystyle n=1} に対しては以下が成立する： 補題 ―  H ∗ ( B U ( 1 ) ; Z ) {\displaystyle H^{*}(BU(1);\mathbb {Z} )} をカップ積に関して次数付き環とみなしたとき、ある α ∈ H 2 ( B U ( 1 ) ; Z ) {\displaystyle \alpha \in H^{2}(BU(1);\mathbb {Z} )} が存在し、 H ∗ ( B U ( 1 ) ; Z ) = Z [ α ] {\displaystyle H^{*}(BU(1);\mathbb {Z} )=\mathbb {Z} [\alpha ]} が成立する。ここで Z [ α ] {\displaystyle \mathbb {Z} [\alpha ]} は変数 α {\displaystyle \alpha } に関する Z {\displaystyle \mathbb {Z} } に関する多項式環である。 なお、上の補題において α {\displaystyle \alpha } は偶数次のコホモロジーの元なので、 Z [ α ] {\displaystyle \mathbb {Z} [\alpha ]} 上カップ積は可換であるため、 Z [ α ] {\displaystyle \mathbb {Z} [\alpha ]} が可換環であるという事実と矛盾しない。 一般のnに対して H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の具体的構造を求めるため、連続準同型写像 ι   :   U ( 1 ) n ↪ U ( n ) ,     ( A 1 , … , A n ) ↦ A 1 ⊕ ⋯ ⊕ A n {\displaystyle \iota ~:~U(1)^{n}\hookrightarrow U(n),~~(A_{1},\ldots ,A_{n})\mapsto A_{1}\oplus \cdots \oplus A_{n}} を考える。ここで A 1 ⊕ ⋯ ⊕ A n {\displaystyle A_{1}\oplus \cdots \oplus A_{n}} は A 1 , … , A n {\displaystyle A_{1},\ldots ,A_{n}} をn×n行列の対角成分に配置した U ( n ) {\displaystyle U(n)} の元である。（なおリー群の観点からは、 U ( n ) {\displaystyle U(n)} の極大トーラス U ( 1 ) n {\displaystyle U(1)^{n}} である）。このとき以下が成立する。 補題 (Splitting Principle) ―  ι {\displaystyle \iota } が誘導する写像 ι ∗   :   H ∗ ( B U ( n ) ; Z ) → H ∗ ( B U ( 1 ) n ; Z ) ≈ H ∗ ( B U ( 1 ) ; Z ) ⊗ ⋯ ⊗ H ∗ ( B U ( 1 ) ; Z ) = Z [ α 1 , … , α n ] {\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )\approx H^{*}(BU(1);\mathbb {Z} )\otimes \cdots \otimes H^{*}(BU(1);\mathbb {Z} )=\mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]} は単射環準同型である。ここでαiはi番目の H ∗ ( B U ( 1 ) ; Z ) {\displaystyle H^{*}(BU(1);\mathbb {Z} )} の生成元である。 なお、上式においてコホモロジー環における積はカップ積である。また上式の値域における同型は直積に対する分類空間の振る舞いとKünnethの公式（英語版）、および上記の補題から従う。 以上の事実から、後は H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の ι ∗ {\displaystyle \iota ^{*}} による像が Z [ α 1 , … , α n ] {\displaystyle \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]} のどのような部分集合に落ちるかを決定すれば、 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} を具体的に書きあらわす事ができる。 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の像を決定するため、主バンドル一般に対して成立する以下の事実を利用する： 命題 ―  任意の位相群G、および任意の g ∈ G {\displaystyle g\in G} に対し、G上の内部自己同型 φ g   :   h ↦ g h g − 1 {\displaystyle \varphi _{g}~:~h\mapsto ghg^{-1}} がBGに誘導する写像 B φ g   :   B G → B G {\displaystyle B\varphi _{g}~:~BG\to BG} は恒等写像とホモトープである。 証明 命題を示すため、まず任意のu ∈ Gに対し、バランス積 P × φ u G {\displaystyle P\times _{\varphi _{u}}G} はG-主バンドルとしてPと同型である事を示す。実際、 P × φ u G {\displaystyle P\times _{\varphi _{u}}G} はP × Gを同値関係 ( a , h ) ≃ ( a g − 1 , φ u ( g ) h ) {\displaystyle (a,h)\simeq (ag^{-1},\varphi _{u}(g)h)} で割ったものとして定義されるので、写像 μ   :   P → P × φ u G {\displaystyle \mu ~:~P\to P\times _{\varphi _{u}}G} を a ↦ [ ( a u , 1 ) ] {\displaystyle a\mapsto [(au,1)]} により定義すると、任意の [ ( a , h ) ] ∈ P × φ u G {\displaystyle [(a,h)]\in P\times _{\varphi _{u}}G} は ( a , h ) = ( a , φ u ( φ u − 1 ( h ) ) ) ≃ ( a φ u − 1 ( h ) , 1 ) {\displaystyle (a,h)=(a,\varphi _{u}(\varphi _{u^{-1}}(h)))\simeq (a\varphi _{u^{-1}}(h),1)} を満たすのでμは全射である。また明らかに μ ( a ) = μ ( b ) ⟺ [ ( a , 1 ) ] = [ ( b , 1 ) ] ⟺ a = b {\displaystyle \mu (a)=\mu (b)\iff [(a,1)]=[(b,1)]\iff a=b} なので、μは単射でもある。μとμ-1の連続性の証明は省略する。 以上の事実を用いて命題を示す。定義より B φ g   :   B G → B G {\displaystyle B\varphi _{g}~:~BG\to BG} は主バンドル P B × φ g G → B G {\displaystyle PB\times _{\varphi _{g}}G\to BG} に対応する分類写像であり、上記の議論によりこの主バンドルは P G → B G {\displaystyle PG\to BG} 自身に等しいので、分類定理より B φ A {\displaystyle B\varphi _{A}} は恒等写像とホモトープである。 A ∈ U ( n ) {\displaystyle A\in U(n)} に対し φ A   :   B ↦ A B A − 1 {\displaystyle \varphi _{A}~:~B\mapsto ABA^{-1}} を U ( n ) {\displaystyle U(n)} 上の内部自己同型とすると、上述の命題より、 φ A {\displaystyle \varphi _{A}} がコホモロジー群に誘導する写像 B φ A ∗   :   H ∗ ( B U ( n ) ; Z ) → H ∗ ( B U ( n ) ; Z ) {\displaystyle B\varphi _{A}{}^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(n);\mathbb {Z} )} は恒等写像である。単射 ι {\displaystyle \iota } により U ( 1 ) n {\displaystyle U(1)^{n}} を U ( n ) {\displaystyle U(n)} の部分群とみなし、 U ( 1 ) n {\displaystyle U(1)^{n}} の正規化群 N = { A ∈ U ( n ) ∣ φ A ( U ( 1 ) n ) = U ( 1 ) n } {\displaystyle N=\{A\in U(n)\mid \varphi _{A}(U(1)^{n})=U(1)^{n}\}} を U ( 1 ) n {\displaystyle U(1)^{n}} の中心化群 Z = { A ∈ U ( n ) ∣ ∀ B ∈ U ( 1 ) n   :   φ A ( B ) = B } {\displaystyle Z=\{A\in U(n)\mid \forall B\in U(1)^{n}~:~\varphi _{A}(B)=B\}} で割った W = N / Z {\displaystyle W=N/Z} を考え、 H ∗ ( B U ( 1 ) n ; Z ) W := { u ∈ H ∗ ( B U ( 1 ) n ; Z ) ∣ ∀ [ A ] ∈ W   :   B φ A | U ( 1 ) n ∗ ( u ) = u } {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )^{W}:=\{u\in H^{*}(BU(1)^{n};\mathbb {Z} )\mid \forall [A]\in W~:~B\varphi _{A}|_{U(1)^{n}}{}^{*}(u)=u\}} と定義するとこの定義はWell-definedである。ここで [ A ] ∈ W = N / Z {\displaystyle [A]\in W=N/Z} は同値類を表す。 well-definedである事の証明 Zの元Aによる内部自己同型写像 φ A {\displaystyle \varphi _{A}} は U ( 1 ) n {\displaystyle U(1)^{n}} 上の恒等写像なので条件式 φ A ∗ ( u ) = u {\displaystyle \varphi _{A}{}^{*}(u)=u} は [ A ] ∈ N / Z {\displaystyle [A]\in N/Z} の代表元の取り方によらない。 また図式 H ∗ ( B U ( n ) ; Z ) → ι ∗ H ∗ ( B U ( 1 ) n ; Z ) B φ A ∗ ↓ B φ A | U ( 1 ) n ∗ ↓ H ∗ ( B U ( n ) ; Z ) → ι ∗ H ∗ ( B U ( 1 ) n ; Z ) {\displaystyle {\begin{array}{lll}H^{*}(BU(n);\mathbb {Z} )&{\overset {\iota ^{*}}{\to }}&H^{*}(BU(1)^{n};\mathbb {Z} )\\B\varphi _{A}{}^{*}\downarrow &&B\varphi _{A}|_{U(1)^{n}}{}^{*}\downarrow \\H^{*}(BU(n);\mathbb {Z} )&{\overset {\iota ^{*}}{\to }}&H^{*}(BU(1)^{n};\mathbb {Z} )\end{array}}} が可換である事から、 ι ∗ {\displaystyle \iota ^{*}} の像は確かに H ∗ ( B U ( 1 ) n ; Z ) W {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )^{W}} に落ちる事がわかる。 このとき次の事実が従う事が知られている： 定理 ― 写像 ι ∗   :   H ∗ ( B U ( n ) ; Z ) → H ∗ ( B U ( 1 ) n ; Z ) W ≈ Z [ α 1 , … , α n ] W {\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )^{W}\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]^{W}} は環同型である。 一般に連結なコンパクトリー群Gに対し、Gの極大トーラスをTとするとき、Tの正規化群 N := { g ∈ G ∣ φ g ( T ) = T } {\displaystyle N:=\{g\in G\mid \varphi _{g}(T)=T\}} を中心化群 Z := { g ∈ G ∣ ∀ t ∈ T   :   φ g ( t ) = t } {\displaystyle Z:=\{g\in G\mid \forall t\in T~:~\varphi _{g}(t)=t\}} で割った群 W ( G ) := N / Z {\displaystyle W(G):=N/Z} の事をGのワイル群という。なお極大トーラスは共役を除いて一意に定まる事が知られているので、ワイル群は極大トーラスの取り方によらず同型になる。またTの極大性から中心化群Z(G)は実はT自身に等しい。 明らかに前述のWは U ( n ) {\displaystyle U(n)} のワイル群に相当する。後は U ( n ) {\displaystyle U(n)} のワイル群を決定しさえすれば、 H ∗ ( B U ( n ) ; Z ) ≈ H ∗ ( B U ( 1 ) n ; Z ) W {\displaystyle H^{*}(BU(n);\mathbb {Z} )\approx H^{*}(BU(1)^{n};\mathbb {Z} )^{W}} の構造が決定できる。 P i j   :   C n → C n {\displaystyle P_{ij}~:~\mathbb {C} ^{n}\to \mathbb {C} ^{n}} を第i成分と第j成分を入れ替える行列とすると、明らかに [ P i j ] ∈ W {\displaystyle [P_{ij}]\in W} である。この事実を利用すると、以下の事実が示せる： 定理 ―  U ( n ) {\displaystyle U(n)} のワイル群 W = W ( U ( n ) ) {\displaystyle W=W(U(n))} は置換群と群同型であり、Wは U ( 1 ) n {\displaystyle U(1)^{n}} の成分の入れ替えとして U ( 1 ) n {\displaystyle U(1)^{n}} に作用する。 証明 定理を示すために U ( 1 ) n {\displaystyle U(1)^{n}} の U ( n ) {\displaystyle U(n)} における正規化群Nから A ∈ N {\displaystyle A\in N} を任意に選び、Aの形を決定する。 そのために u 1 , … , u n ∈ C {\displaystyle u_{1},\ldots ,u_{n}\in \mathbb {C} } を | u i | = 1 {\displaystyle |u_{i}|=1} を満たす相異なる複素数とし、 U = u 1 ⊕ ⋯ ⊕ u n ∈ U ( n ) {\displaystyle U=u_{1}\oplus \cdots \oplus u_{n}\in U(n)} を u 1 , … , u n ∈ C {\displaystyle u_{1},\ldots ,u_{n}\in \mathbb {C} } を対角成分に置いた行列とする。e1、...、enを C {\displaystyle \mathbb {C} } の標準的な基底とし、eiが張る複素1次元部分空間をEiとすると、Uが対角行列である事から、EiはUの固有値uiに関する固有空間である。 Aが正規化群Nの元である事から、 A U A − 1 ∈ U ( 1 ) n {\displaystyle AUA^{-1}\in U(1)^{n}} である。すなわち | c i | = 1 {\displaystyle |c_{i}|=1} を満たす c 1 , … , c n ∈ C {\displaystyle c_{1},\ldots ,c_{n}\in \mathbb {C} } が存在し、 C = c 1 ⊕ ⋯ ⊕ c n {\displaystyle C=c_{1}\oplus \cdots \oplus c_{n}} とすると、 A U A − 1 = C {\displaystyle AUA^{-1}=C} が成立する。Cも対角行列である事から、 v i = e i A {\displaystyle v_{i}=e_{i}A} としてviが張る複素1次元部分空間をViとすると、ViはCの固有値viに関する固有空間である。 固有値分解の一意性より、ある置換 σ   :   { 1 , … , n } → { 1 , … , n } {\displaystyle \sigma ~:~\{1,\ldots ,n\}\to \{1,\ldots ,n\}} が存在し、 v i = u σ ( i ) {\displaystyle v_{i}=u_{\sigma (i)}} かつ V i = E σ ( i ) {\displaystyle V_{i}=E_{\sigma (i)}} が成立する。Vi、Eσ(i)はそれぞれvi、eσ(i)が張る複素1次元部分空間なので、ある a i ∈ C {\displaystyle a_{i}\in \mathbb {C} } が存在し、 v i = a i e σ ( i ) {\displaystyle v_{i}=a_{i}e_{\sigma (i)}} が成立する。 よって P σ {\displaystyle P_{\sigma }} を置換行列 P σ = ( δ i , σ ( j ) ) i , j {\displaystyle P_{\sigma }=(\delta _{i,\sigma (j)})_{i,j}} とする（ δ i , j {\displaystyle \delta _{i,j}} はクロネッカーのデルタ）とき、viの定義より A = ( a 1 ⊕ ⋯ ⊕ a n ) P σ {\displaystyle A=(a_{1}\oplus \cdots \oplus a_{n})P_{\sigma }} が成立する。 A ∈ N ⊂ U ( n ) {\displaystyle A\in N\subset U(n)} はユニタリ行列なので、 | a i | = 1 ,     i = 1 , … , n {\displaystyle |a_{i}|=1,~~i=1,\ldots ,n} が成立する。すなわち ( a 1 ⊕ ⋯ ⊕ a n ) ∈ U ( 1 ) n {\displaystyle (a_{1}\oplus \cdots \oplus a_{n})\in U(1)^{n}} である。よってワイル群 W = N / U ( 1 ) n {\displaystyle W=N/U(1)^{n}} においては、 [ A ] = [ ( a 1 ⊕ ⋯ ⊕ a n ) P σ ] = [ P σ ] ∈ W = N / U ( 1 ) n {\displaystyle [A]=[(a_{1}\oplus \cdots \oplus a_{n})P_{\sigma }]=[P_{\sigma }]\in W=N/U(1)^{n}} が成立する。 AはNの任意の元だったので、Σnをn次の置換群とするとき、以上の議論から Σ n → W ,     σ ↦ [ P σ ] {\displaystyle \Sigma _{n}\to W,~~\sigma \mapsto [P_{\sigma }]} は全射である。 またこの写像は単射でもある。実際 I {\displaystyle I} をn次の単位行列とする時、 [ P σ ] = [ I ] {\displaystyle [P_{\sigma }]=[I]} であれば、 P σ ∈ U ( 1 ) n {\displaystyle P_{\sigma }\in U(1)^{n}} が成立する必要がある。しかし U ( 1 ) n {\displaystyle U(1)^{n}} の元は各eiを定数倍する行列なので、そのような形の P σ {\displaystyle P_{\sigma }} は明らかに σ = i d {\displaystyle \sigma =\mathrm {id} } のケースに限る。 以上のことからワイル群Wが置換群に群同型な事が示せた。定理の後半も以上の議論から明らかに従う。 位相群に分類空間を対応させる関手Bと位相空間にコホモロジー環を対応させる関手H*が直積を保つので、上述の定理からWは H ∗ ( B U ( 1 ) n ; Z ) ≈ Z [ α 1 , … , α n ] {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]} の α 1 , … , α n {\displaystyle \alpha _{1},\ldots ,\alpha _{n}} を入れ替える形で H ∗ ( B U ( 1 ) n ; Z ) {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )} に作用する。よって H ∗ ( B U ( 1 ) n ; Z ) W ⊂ H ∗ ( B U ( 1 ) n ; Z ) ≈ Z [ α 1 , … , α n ] {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )^{W}\subset H^{*}(BU(1)^{n};\mathbb {Z} )\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]} は対称多項式全体の集合に一致する。よく知られているように、任意の対称多項式は基本対称式の多項式として書けるので、以上の事実からチャーン類を以下のように定義する： 定義 (チャーン類) ―  H ∗ ( B U ( 1 ) n ; Z ) ≈ Z [ α 1 , … , α n ] {\displaystyle H^{*}(BU(1)^{n};\mathbb {Z} )\approx \mathbb {Z} [\alpha _{1},\ldots ,\alpha _{n}]} 上の第i基本多項式 σ i ( α 1 , … , α n ) = ∑ A ⊂ { 1 , … , n } , | A | = i (   ∏ k ∈ A α k ) {\displaystyle \sigma _{i}(\alpha _{1},\ldots ,\alpha _{n})=\sum _{A\subset \{1,\ldots ,n\},|A|=i}\left(\ \prod _{k\in A}\alpha _{k}\right)} の ι ∗   :   H ∗ ( B U ( n ) ; Z ) → H ∗ ( B U ( 1 ) n ; Z ) {\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BU(1)^{n};\mathbb {Z} )} による逆像 c i ( n ) = ( ι ∗ ) − 1 ( σ i ( α 1 , … , α n ) ) ∈ H 2 i ( B U ( n ) ; Z ) {\displaystyle c_{i}^{(n)}=(\iota ^{*})^{-1}(\sigma _{i}(\alpha _{1},\ldots ,\alpha _{n}))\in H^{2i}(BU(n);\mathbb {Z} )} を第iチャーン類（英: i-th Chern class）と呼ぶ。 紛れがなければ添字を省略し、 c i ( n ) {\displaystyle c_{i}^{(n)}} を単に c i {\displaystyle c_{i}} と書く。 分類空間 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の元と特性類は1対1でするので、第iチャーン類 c i {\displaystyle c_{i}} に対応する特性類 c i ( ξ ) {\displaystyle c_{i}(\xi )} をベクトルバンドルξの第iチャーン類という。分類空間の元 c i {\displaystyle c_{i}} を c i ( ξ ) {\displaystyle c_{i}(\xi )} と区別したいときは、 c i {\displaystyle c_{i}} を第i普遍チャーン類（英: i-th universal Chern class）という。 なお、 1 ∈ H ∗ ( B U ( 1 ) n ; Z ) {\displaystyle 1\in H^{*}(BU(1)^{n};\mathbb {Z} )} を「0次の基本対象式」とみなし、 c 0 ( n ) := ( ι ∗ ) − 1 ( 1 ) = 1 {\displaystyle c_{0}^{(n)}:=(\iota ^{*})^{-1}(1)=1} を第0チャーン類と呼ぶ。また n + 1 {\displaystyle n+1} 次以上の基本対称式は存在しないので、 m > n {\displaystyle m>n} に対しては、第mチャーン類を c m ( n ) := 0 {\displaystyle c_{m}^{(n)}:=0} と定義する。 またチャーン類は埋め込み ι   :   U ( 1 ) n → U ( n ) {\displaystyle \iota ~:~U(1)^{n}\to U(n)} を使って定義されており、この埋め込みは C n {\displaystyle \mathbb {C} ^{n}} の正規直交基底の取り方に依存している。しかし正規直交基底の取り替えにより、 ι {\displaystyle \iota } は U ( n ) {\displaystyle U(n)} の内部自己同型 φ A {\displaystyle \varphi _{A}} との合成 ι ∘ φ A {\displaystyle \iota \circ \varphi _{A}} に置き換わるだけなので、前述した命題から、チャーン類は正規直交基底の取り方によらずwell-definedである。 以上で見たように各α1,...,αnは対称多項式の根に相当するものなので、α1,...,αnの事をチャーン根[訳語疑問点]（Chern root）という。 これまでの議論とチャーン類の定義から明らかに以下の事実が従う： 定理 ― : H ∗ ( B U ( n ) ; Z ) = Z [ c 1 ( n ) , … , c n ( n ) ] {\displaystyle H^{*}(BU(n);\mathbb {Z} )=\mathbb {Z} [c_{1}^{(n)},\ldots ,c_{n}^{(n)}]} チャーン類の定義において、α1,...,αnの代わりに単元 u ∈ C ,  s.t.  | u | = 1 {\displaystyle u\in \mathbb {C} ,{\text{ s.t. }}|u|=1} をこれらに掛けた β 1 := u α 1 , … , β n := u α n {\displaystyle \beta _{1}:=u\alpha _{1},\ldots ,\beta _{n}:=u\alpha _{n}} をチャーン根とするようにチャーン類を定義する事もできるため、チャーン類の定義には単元uの選び方だけ自由度がある事になる。 そこで何らかの規約を置くことでこの自由度を消す必要があるが、どのような規約を置くかは分野による。代数的位相幾何学では普遍1-平面バンドル ξ U = ( E U ( 1 ) , B U ( 1 ) , π ) {\displaystyle \xi _{U}=(EU(1),BU(1),\pi )} に対し、 c 1 ( 1 ) ( ξ U ) {\displaystyle c_{1}^{(1)}(\xi _{U})} が H 2 ( B U ( 1 ) , Z ) {\displaystyle H^{2}(BU(1),\mathbb {Z} )} のcanonicalな生成元になるという規約を置く事が多いが、代数幾何学では ξ U {\displaystyle \xi _{U}} の双対ベクトルバンドル ξ U ∗ {\displaystyle \xi _{U}^{*}} に対して c 1 ( 1 ) ( ξ U ∗ ) {\displaystyle c_{1}^{(1)}(\xi _{U}^{*})} が H 2 ( B U ( 1 ) , Z ) {\displaystyle H^{2}(BU(1),\mathbb {Z} )} のcanonicalな生成元になるという規約を置く事が多い。 区別のため代数幾何学の方のチャーン類を c ′ k ( n ) {\displaystyle c'{}_{k}^{(n)}} と書くことにすると、代数的位相幾何学のチャーン類とは c ′ k ( n ) = ( − 1 ) k c k ( n ) {\displaystyle c'{}_{k}^{(n)}=(-1)^{k}c_{k}^{(n)}} という関係を満たす。本稿では以下、特に断りがない限り、代数的位相幾何学の規約を採用するものとする。 定理・定義 (チャーン類の公理的特徴づけ) ― 特性類の組 ( c i ( n ) ) i , n {\displaystyle (c_{i}^{(n)})_{i,n}} でn次元複素ベクトルバンドル ξ = ( π , E , B ) {\displaystyle \xi =(\pi ,E,B)} に H 2 i ( B , Z ) {\displaystyle H^{2i}(B,\mathbb {Z} )} の元を対応させるもの c i ( n )   :   ξ = ( π , E , B ) ↦ H 2 i ( B , Z ) {\displaystyle c_{i}^{(n)}~:~\xi =(\pi ,E,B)\mapsto H^{2i}(B,\mathbb {Z} )} で以下の性質を満たすものが一意に存在する。 c i ( n ) {\displaystyle c_{i}^{(n)}} をn次元ベクトルバンドルの第iチャーン類と呼ぶ。 以下でXは任意のCW複体、ξ、ηはX上の任意の複素ベクトルバンドル、n、mはそれぞれξ、ηのファイバー（であるベクトル空間）の次元であり、「 ⊕ {\displaystyle \oplus } 」はベクトルバンドルのホイットニー和である： 次元公理[訳語疑問点]（英: dimension axiom）： c 0 ( n ) ( ξ ) = 1 {\displaystyle c_{0}^{(n)}(\xi )=1} 、 c i ( n ) ( ξ ) = 0      for  i > n {\displaystyle c_{i}^{(n)}(\xi )=0~~{\text{ for }}i>n} 。 ホイットニー和の公式(英: Whitney sum formula)： c k ( n + m ) ( ξ ⊕ η ) = ∑ i = 0 k c i ( n ) ( ξ ) ⌣ c k − i ( m ) ( η ) {\displaystyle c_{k}^{(n+m)}(\xi \oplus \eta )=\sum _{i=0}^{k}c_{i}^{(n)}(\xi )\smile c_{k-i}^{(m)}(\eta )} 正規化公理[訳語疑問点]（英: normalization axiom）：普遍1-平面バンドル ξ U = ( E U ( 1 ) , B U ( 1 ) , π ) {\displaystyle \xi _{U}=(EU(1),BU(1),\pi )} に対し、 c 1 ( 1 ) ( ξ U ) {\displaystyle c_{1}^{(1)}(\xi _{U})} は H 2 ( B U ( 1 ) , Z ) {\displaystyle H^{2}(BU(1),\mathbb {Z} )} のcanonicalな生成元である。 前節で定義したチャーン類が次元公理と正規化公理を満たすのは明らかである。ホイットニー和の公式の証明は下記のとおりである。 証明 写像 U ( n ) × U ( m ) → U ( n + m ) {\displaystyle U(n)\times U(m)\to U(n+m)} 、 ( A , B ) ↦ A ⊕ B {\displaystyle (A,B)\mapsto A\oplus B} が分類空間に誘導する写像 B U ( n ) × B U ( m ) → B U ( n + m ) {\displaystyle BU(n)\times BU(m)\to BU(n+m)} を考えると、 H ∗ ( B U ( n ) ; Z ) {\displaystyle H^{*}(BU(n);\mathbb {Z} )} の構造とKünnethの公式（英語版）から H 2 i ( B U ( n + m ) ; Z ) ↪ H 2 i ( B U ( n ) × B U ( m ) ; Z ) ≃ ∑ k = 0 i H 2 k ( B U ( n ) ; Z ) × H 2 ( i − k ) ( B U ( m ) ; Z ) {\displaystyle H^{2i}(BU(n+m);\mathbb {Z} )\hookrightarrow H^{2i}(BU(n)\times BU(m);\mathbb {Z} )\simeq \sum _{k=0}^{i}H^{2k}(BU(n);\mathbb {Z} )\times H^{2(i-k)}(BU(m);\mathbb {Z} )} が成立する。よって α 1 , … , α n + m {\displaystyle \alpha _{1},\ldots ,\alpha _{n+m}} をチャーン根とすると、 c i ( n + m ) = σ i ( α 1 , … , α n + m ) = ∑ k = 0 i σ k ( α 1 , … , α n ) σ i − k ( α n + 1 , … , α n + m ) ≈ ∑ k = 0 i c k ( n + m ) ⌣ c i − k ( n + m ) {\displaystyle c_{i}^{(n+m)}=\sigma _{i}(\alpha _{1},\ldots ,\alpha _{n+m})=\sum _{k=0}^{i}\sigma _{k}(\alpha _{1},\ldots ,\alpha _{n})\sigma _{i-k}(\alpha _{n+1},\ldots ,\alpha _{n+m})\approx \sum _{k=0}^{i}c_{k}^{(n+m)}\smile c_{i-k}^{(n+m)}} が成立する。なお上式の２つ目の等号は、対称多項式に関する簡単な計算により従う。 ホイットニー和の公式は上式を ξ ⊕ η {\displaystyle \xi \oplus \eta } 、ξ、ηに関する分類写像で引き戻す事で従う。 一方、上記の公理を満たす特性類の一意性は数学的帰納法により容易に示せる。 チャーン類を取り扱う上で、下記のチャーン多項式を考えると便利である： 定義 (チャーン多項式、全チャーン類) ― 上と同様に記号を定義するとき、変数tに対し、 c ( ξ , t ) = c 0 ( ξ ) + c 1 ( ξ ) t + ⋯ + c n ( ξ ) t n {\displaystyle c(\xi ,t)=c_{0}(\xi )+c_{1}(\xi )t+\cdots +c_{n}(\xi )t^{n}} をξのチャーン多項式（英: Chern polynomial）といい、特に c ( ξ ) := c ( ξ , 1 ) = c 0 ( ξ ) + c 1 ( ξ ) + ⋯ c n ( ξ ) {\displaystyle c(\xi ):=c(\xi ,1)=c_{0}(\xi )+c_{1}(\xi )+\cdots c_{n}(\xi )} を全チャーン類（英: total Chern class）という。 なお、チャーン類の定義より、チャーン多項式はチャーン根を使って形式的に c ( ξ , t ) = ∏ i ( t + α i ) {\displaystyle c(\xi ,t)=\prod _{i}(t+\alpha _{i})} と因数分解できる。 チャーン多項式を用いると、ホイットニー和の公式は以下のように言い換えられる： 定義 ― 上と同様に記号を定義するとき、以下が成立する： c ( ξ ⊕ η , t ) = c ( ξ , t ) ⌣ c ( η , t ) {\displaystyle c(\xi \oplus \eta ,t)=c(\xi ,t)\smile c(\eta ,t)} チャーン多項式は以下の性質を満たす。なお文献によっては以下の性質をチャーン類の公理として入れているものもあるが、実は他の公理から従うので、公理に入れる必要はない。 命題 ― CW複体X上の自明な直線バンドルεと任意のベクトルバンドルηに対して以下が成立する： c ( ϵ , t ) = 1 {\displaystyle c(\epsilon ,t)=1} 安定性（英: stability）： c ( η ⊕ ϵ , t ) = c ( η , t ) {\displaystyle c(\eta \oplus \epsilon ,t)=c(\eta ,t)} 証明 後者の性質は前者の性質とホイットニー和の公式から従う。また前者に関しては次元公理から c ( ϵ , t ) = 1 + c 1 ( ϵ ) t {\displaystyle c(\epsilon ,t)=1+c_{1}(\epsilon )t} とかけるので、 c 1 ( ϵ ) = 0 {\displaystyle c_{1}(\epsilon )=0} のみ示せば良い。 { x } {\displaystyle \{x\}} を任意の一点集合とし、 p   :   X → { x } {\displaystyle p~:~X\to \{x\}} を { x } {\displaystyle \{x\}} への唯一の写像とし、εxを { x } {\displaystyle \{x\}} 上の自明な直線バンドルとし、さらに f x   :   { x } → B U ( 1 ) {\displaystyle f_{x}~:~\{x\}\to BU(1)} を { x } {\displaystyle \{x\}} の分類写像とする。明らかに ε = p ∗ ( ε x ) {\displaystyle \varepsilon =p^{*}(\varepsilon _{x})} なので、分類定理より、εの分類写像は f x ∘ p {\displaystyle f_{x}\circ p} とホモトープである。 H 2 ( { x } ; Z ) = 0 {\displaystyle H^{2}(\{x\};\mathbb {Z} )=0} なので、 c 1 ∈ H 2 ( B U ( 1 ) ; Z ) {\displaystyle c_{1}\in H^{2}(BU(1);\mathbb {Z} )} の引き戻し c 1 ( ε ) = ( f x ∘ p ) ∗ ( c 1 ) = 0 {\displaystyle c_{1}(\varepsilon )=(f_{x}\circ p)^{*}(c_{1})=0} である。 本節以降、実ベクトルバンドルの特性類を記述していくが、その記述は複素ベクトルバンドルのそれと比べかなり複雑であるので、詳細は次節以降に譲り、本節では実ベクトルバンドルの特性類の概要を述べる。 実ベクトルバンドルの特性類が複雑になる理由は２つある： 実ベクトルバンドルの主バンドルの分類空間 H ∗ ( B O ( n ) , Z ) {\displaystyle H^{*}(BO(n),\mathbb {Z} )} は複素ベクトルバンドルの主バンドルの H ∗ ( B U ( n ) , Z ) {\displaystyle H^{*}(BU(n),\mathbb {Z} )} と違い、 Z 2 {\displaystyle \mathbb {Z} _{2}} -捩れ部分群を持つ。この捩れ部分群が「悪さ」をするため、 H ∗ ( B O ( n ) , Z ) {\displaystyle H^{*}(BO(n),\mathbb {Z} )} を簡単に記述する事ができない。 実ベクトルバンドルの場合は複素ベクトルバンドルと違い、向き付けの概念がある。このため向き付けのない場合の分類空間 H ∗ ( B O ( n ) , Z ) {\displaystyle H^{*}(BO(n),\mathbb {Z} )} と向き付けのある場合の分類空間 H ∗ ( B S O ( n ) , Z ) {\displaystyle H^{*}(BSO(n),\mathbb {Z} )} の両方を考察しなければならない。 1つ目の問題を回避するために、以下では H ∗ ( B O ( n ) , Z ) {\displaystyle H^{*}(BO(n),\mathbb {Z} )} を直接考察するのを諦め、 H ∗ ( B O ( n ) , Z 2 ) {\displaystyle H^{*}(BO(n),\mathbb {Z} _{2})} と H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} の２つを別々に考察することにする。ここでΛは2の逆元を持つ任意の可換環である。ボックシュタインスペクトル系列（英語版）を使う事で H ∗ ( B O ( n ) , Z 2 ) {\displaystyle H^{*}(BO(n),\mathbb {Z} _{2})} と H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} から H ∗ ( B O ( n ) , Z ) {\displaystyle H^{*}(BO(n),\mathbb {Z} )} を計算できるので、実用上はこの２つに対する特性類が把握できていれば十分である。 2つ目の問題に関しては、 H ∗ ( B O ( n ) ) {\displaystyle H^{*}(BO(n))} と H ∗ ( B S O ( n ) ) {\displaystyle H^{*}(BSO(n))} とは環構造が異なるので、この２つを両方とも考察する必要がある。 係数環が Z 2 {\displaystyle \mathbb {Z} _{2}} の場合の特性類の記述は比較的簡単であり、 H ∗ ( B O ( n ) ) {\displaystyle H^{*}(BO(n))} と H ∗ ( B S O ( n ) ) {\displaystyle H^{*}(BSO(n))} の差はさほど大きくなく、 H ∗ ( B O ( n ) , Z 2 ) = Z 2 [ w 1 , … , w n ] H ∗ ( B S O ( n ) , Z 2 ) = Z 2 [ w 2 , … , w n ] ,     w 1 = 0 {\displaystyle {\begin{aligned}H^{*}(BO(n),\mathbb {Z} _{2})&=\mathbb {Z} _{2}[w_{1},\ldots ,w_{n}]\\H^{*}(BSO(n),\mathbb {Z} _{2})&=\mathbb {Z} _{2}[w_{2},\ldots ,w_{n}],~~w_{1}=0\\\end{aligned}}} という形で両者を記述できる。ここで w 1 , … , w n {\displaystyle w_{1},\ldots ,w_{n}} はスティーフェル・ホイットニー類と呼ばれる特性類で、このような w 1 , … , w n {\displaystyle w_{1},\ldots ,w_{n}} の存在はチャーン類の場合と類似した方法で証明できる。ただし第iチャーン類が2i次のコホモロジー群に属するのに対し、第iスティーフェル・ホイットニー類はi次のコホモロジー群に属するので注意が必要である。 それに対し係数環が 2 − 1 ∈ Λ {\displaystyle 2^{-1}\in \Lambda } を満たすΛの場合はより複雑である。 H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} に関しては、 H ∗ ( B O ( n ) , Λ ) = Λ [ p 1 , … , p ⌊ n / 2 ⌋ ] {\displaystyle H^{*}(BO(n),\Lambda )=\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor }]} の形で記述でき、 p 1 , … , p n {\displaystyle p_{1},\ldots ,p_{n}} をポントリャーギン類という。（ p i {\displaystyle p_{i}} は4i次のコホモロジー群に属する）。ここで ⌊ ⋅ ⌋ {\displaystyle \lfloor \cdot \rfloor } は床関数である。 具体的にはポントリャーギン類は実ベクトルバンドルを複素化する事で得られる複素ベクトルバンドルのチャーン類を使って p i = ( − 1 ) i c 2 i {\displaystyle p_{i}=(-1)^{i}c_{2i}} と書ける。（なお、実ベクトルバンドルの複素化の場合、奇数次のチャーン類 c 2 i + 1 {\displaystyle c_{2i+1}} は 2 c 2 i + 1 = 0 {\displaystyle 2c_{2i+1}=0} を満たし、よって係数環がΛの場合は必ず c 2 i + 1 = 0 {\displaystyle c_{2i+1}=0} になる）。 一方、 H ∗ ( B S O ( n ) , Λ ) {\displaystyle H^{*}(BSO(n),\Lambda )} はnが偶数か奇数で形が異なり、 H ∗ ( B S O ( n ) , Λ ) = { Λ [ p 1 , … , p ⌊ n / 2 ⌋ ]  if  n  is odd Λ [ p 1 , … , p ⌊ n / 2 ⌋ , χ ] / ( χ 2 = p ⌊ n / 2 ⌋ )  if  n  is even {\displaystyle H^{*}(BSO(n),\Lambda )={\begin{cases}\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor }]&{\text{ if }}n{\text{ is odd}}\\\Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor },\chi ]/(\chi ^{2}=p_{\lfloor n/2\rfloor })&{\text{ if }}n{\text{ is even}}\\\end{cases}}} と書ける。ここで p 1 , … , p ⌊ n / 2 ⌋ {\displaystyle p_{1},\ldots ,p_{\lfloor n/2\rfloor }} は前述のポントリャーギン類であり、χはオイラー類と呼ばれる特性類である。また Λ [ p 1 , … , p ⌊ n / 2 ⌋ , χ ] / ( χ 2 = p ⌊ n / 2 ⌋ ) {\displaystyle \Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor },\chi ]/(\chi ^{2}=p_{\lfloor n/2\rfloor })} は多項式環 Λ [ p 1 , … , p ⌊ n / 2 ⌋ , χ ] {\displaystyle \Lambda [p_{1},\ldots ,p_{\lfloor n/2\rfloor },\chi ]} においてχ2をpnと同一視して得られる環を表す。すなわち Λ [ p 1 , … , p n , χ ] {\displaystyle \Lambda [p_{1},\ldots ,p_{n},\chi ]} を単項イデアル ( χ 2 − p ⌊ n / 2 ⌋ ) {\displaystyle (\chi ^{2}-p_{\lfloor n/2\rfloor })} で割った環である。 以上をまとめると、実ベクトルバンドルの分類空間のコホモロジーは以下のように記述できる： 本節では H 2 ( B O ( n ) ; Z ) {\displaystyle H^{2}(BO(n);\mathbb {Z} )} の構造を具体的に決定し、それをもとにスティーフェル・ホイットニー類を定義する。 H 2 ( B O ( n ) ; Z ) {\displaystyle H^{2}(BO(n);\mathbb {Z} )} の構造の決定方法やスティーフェル・ホイットニー類の定義は、基本的には H 2 ( B U ( n ) ; Z ) {\displaystyle H^{2}(BU(n);\mathbb {Z} )} の構造の決定方法やチャーン類の定義と同様である。一点大きく違うのは、チャーン類の場合は H ∗ ( B U ( 1 ) ; Z ) = Z [ α ] {\displaystyle H^{*}(BU(1);\mathbb {Z} )=\mathbb {Z} [\alpha ]} を満たす α {\displaystyle \alpha } が2次のコホモロジー群 H 2 ( B U ( 1 ) ; Z ) {\displaystyle H^{2}(BU(1);\mathbb {Z} )} に属していたのに対し、スティーフェル・ホイットニー類の場合はそのような元が1次のコホモロジー群に属する事である： 補題 ―  ある β ∈ H 1 ( B O ( 1 ) ; Z 2 ) {\displaystyle \beta \in H^{1}(BO(1);\mathbb {Z} _{2})} が存在し、以下が成立する： H ∗ ( B O ( 1 ) ; Z 2 ) = Z 2 [ β ] {\displaystyle H^{*}(BO(1);\mathbb {Z} _{2})=\mathbb {Z} _{2}[\beta ]} この違いが原因でチャーン類は偶数次のコホモロジー群にしか登場しなかったが、スティーフェル・ホイットニー類は奇数次のコホモロジーにも登場する。 なお、コホモロジーの係数が Z 2 {\displaystyle \mathbb {Z} _{2}} なので、カップ積は奇数次のコホモロジーにおいても可換である。 自然数 n ≥ 1 {\displaystyle n\geq 1} に対し H 2 ( B O ( n ) ; Z 2 ) {\displaystyle H^{2}(BO(n);\mathbb {Z} _{2})} の具体的形を調べるため、チャーン類のときと同様、連続準同型写像 ι   :   O ( 1 ) n ↪ O ( n ) ,   ( A 1 , … , A n ) ↦ A 1 ⊕ ⋯ ⊕ A n {\displaystyle \iota ~:~O(1)^{n}\hookrightarrow O(n),~(A_{1},\ldots ,A_{n})\mapsto A_{1}\oplus \cdots \oplus A_{n}} により O ( 1 ) n {\displaystyle O(1)^{n}} を O ( n ) {\displaystyle O(n)} の部分群とみなす。ここで「 ⊕ {\displaystyle \oplus } 」は対角線上に行列を並べる演算である。 φ A   :   B ↦ A B A − 1 {\displaystyle \varphi _{A}~:~B\mapsto ABA^{-1}} を内部自己同型とする。チャーン類の時と同様、 O ( 1 ) n {\displaystyle O(1)^{n}} の正規化群 N = { A ∈ O ( n ) ∣ φ A ( O ( 1 ) n ) = O ( 1 ) n } {\displaystyle N=\{A\in O(n)\mid \varphi _{A}(O(1)^{n})=O(1)^{n}\}} を O ( 1 ) n {\displaystyle O(1)^{n}} の中心化群 Z = { A ∈ O ( n ) ∣ ∀ B ∈ O ( 1 ) n   :   φ A ( B ) = B } {\displaystyle Z=\{A\in O(n)\mid \forall B\in O(1)^{n}~:~\varphi _{A}(B)=B\}} で割った Σ = N / Z {\displaystyle \Sigma =N/Z} を考え、 H ∗ ( B O ( 1 ) n ; Z ) Σ := { u ∈ H ∗ ( B O ( 1 ) n ; Z ) ∣ ∀ [ A ] ∈ Σ   :   B φ A ∗ ( u ) = u } {\displaystyle H^{*}(BO(1)^{n};\mathbb {Z} )^{\Sigma }:=\{u\in H^{*}(BO(1)^{n};\mathbb {Z} )\mid \forall [A]\in \Sigma ~:~B\varphi _{A}{}^{*}(u)=u\}} と定義するとこの定義はWell-definedである。ここで [ A ] ∈ Σ = N / Z {\displaystyle [A]\in \Sigma =N/Z} は同値類を表す。このとき次の事実が従う： 定理 ― 写像 ι ∗   :   H ∗ ( B O ( n ) ; Z 2 ) → H ∗ ( B O ( 1 ) n ; Z 2 ) Σ ≈ Z 2 [ β 1 , … , β n ] Σ {\displaystyle \iota ^{*}~:~H^{*}(BO(n);\mathbb {Z} _{2})\to H^{*}(BO(1)^{n};\mathbb {Z} _{2})^{\Sigma }\approx \mathbb {Z} _{2}[\beta _{1},\ldots ,\beta _{n}]^{\Sigma }} は全単射である。 ここでβiは H ∗ ( B O ( 1 ) n ; Z 2 ) ≈ H ∗ ( B O ( 1 ) ; Z 2 ) ⊗ ⋯ ⊗ H ∗ ( B O ( 1 ) ; Z 2 ) {\displaystyle H^{*}(BO(1)^{n};\mathbb {Z} _{2})\approx H^{*}(BO(1);\mathbb {Z} _{2})\otimes \cdots \otimes H^{*}(BO(1);\mathbb {Z} _{2})} のi番目の H ∗ ( B O ( 1 ) ; Z 2 ) {\displaystyle H^{*}(BO(1);\mathbb {Z} _{2})} の生成元である。 定理 ― Σは置換群と群同型であり、Σは O ( 1 ) n {\displaystyle O(1)^{n}} の成分の入れ替えとして O ( 1 ) n {\displaystyle O(1)^{n}} に作用する。 スティーフェル・ホイットニー類を以下のように定義する： 定義 (スティーフェル・ホイットニー類) ―  H ∗ ( B D ; Z 2 ) ≈ Z [ β 1 , … , β n ] {\displaystyle H^{*}(BD;\mathbb {Z} _{2})\approx \mathbb {Z} [\beta _{1},\ldots ,\beta _{n}]} 上の第i基本多項式 σ i ( β 1 , … , β n ) = ∑ A ⊂ { 1 , … , n } , | A | = i (   ∏ k ∈ A β k ) {\displaystyle \sigma _{i}(\beta _{1},\ldots ,\beta _{n})=\sum _{A\subset \{1,\ldots ,n\},|A|=i}\left(\ \prod _{k\in A}\beta _{k}\right)} の ι ∗   :   H ∗ ( B O ( n ) ; Z 2 ) → H ∗ ( B O ( 1 ) n ; Z 2 ) {\displaystyle \iota ^{*}~:~H^{*}(BO(n);\mathbb {Z} _{2})\to H^{*}(BO(1)^{n};\mathbb {Z} _{2})} による逆像 w i ( n ) = ( ι ∗ ) − 1 ( σ i ( β 1 , … , β n ) ) ∈ H i ( B O ( n ) , Z 2 ) {\displaystyle w_{i}^{(n)}=(\iota ^{*})^{-1}(\sigma _{i}(\beta _{1},\ldots ,\beta _{n}))\in H^{i}(BO(n),\mathbb {Z} _{2})} を第iスティーフェル・ホイットニー類（英: i-th Stiefel–Whitney class class）と呼ぶ。 紛れがなければ添字を省略し、 w i ( n ) {\displaystyle w_{i}^{(n)}} を単に w i {\displaystyle w_{i}} と書く。 分類空間 H ∗ ( B O ( n ) ; Z 2 ) {\displaystyle H^{*}(BO(n);\mathbb {Z} _{2})} の元と特性類は1対1でするので、第iスティーフェル・ホイットニー類 w i {\displaystyle w_{i}} に対応する特性類 w i ( ξ ) {\displaystyle w_{i}(\xi )} をベクトルバンドルξの第iスティーフェル・ホイットニー類という。分類空間の元 w i {\displaystyle w_{i}} を w i ( ξ ) {\displaystyle w_{i}(\xi )} と区別したいときは、 w i {\displaystyle w_{i}} を第i普遍スティーフェル・ホイットニー類（英: i-th universal Stiefel–Whitney class class）という。 チャーン類のときと同様、 w 0 ( n ) := ( ι ∗ ) − 1 ( 1 ) = 1 {\displaystyle w_{0}^{(n)}:=(\iota ^{*})^{-1}(1)=1} 、 w m ( n ) := 0 {\displaystyle w_{m}^{(n)}:=0} for m > n {\displaystyle m>n} と定義する。 明らかに以下の事実が従う： 定理 ― : H ∗ ( B O ( n ) ; Z ) = Z [ w 1 ( n ) , … , w n ( n ) ] {\displaystyle H^{*}(BO(n);\mathbb {Z} )=\mathbb {Z} [w_{1}^{(n)},\ldots ,w_{n}^{(n)}]} チャーン類と同様スティーフェル・ホイットニー類も公理的に特徴づける事ができる： 定理・定義 (スティーフェル・ホイットニー類の公理的特徴づけ) ― 特性類の組 ( w i ( n ) ) i , n {\displaystyle (w_{i}^{(n)})_{i,n}} でn次元実ベクトルバンドル ξ = ( π , E , B ) {\displaystyle \xi =(\pi ,E,B)} に H i ( B , Z 2 ) {\displaystyle H^{i}(B,\mathbb {Z} _{2})} の元を対応させるもの w i ( n )   :   ξ = ( π , E , B ) ↦ H i ( B , Z 2 ) {\displaystyle w_{i}^{(n)}~:~\xi =(\pi ,E,B)\mapsto H^{i}(B,\mathbb {Z} _{2})} で以下の性質を満たすものが一意に存在する。 w i ( n ) {\displaystyle w_{i}^{(n)}} をn次元ベクトルバンドルの第iスティーフェル・ホイットニー類と呼ぶ。 以下でXは任意のCW複体、ξ、ηはX上の任意の実ベクトルバンドル、n、mはそれぞれξ、ηのファイバー（であるベクトル空間）の次元であり、「 ⊕ {\displaystyle \oplus } 」はベクトルバンドルのホイットニー和である： 次元公理[訳語疑問点]： w 0 ( n ) ( ξ ) = 1 {\displaystyle w_{0}^{(n)}(\xi )=1} ホイットニー和の公式： w k ( n + m ) ( ξ ⊕ η ) = ∑ i = 0 k w i ( n ) ( ξ ) ⌣ w k − i ( m ) ( η ) {\displaystyle w_{k}^{(n+m)}(\xi \oplus \eta )=\sum _{i=0}^{k}w_{i}^{(n)}(\xi )\smile w_{k-i}^{(m)}(\eta )} 正規化公理[訳語疑問点]：1次元実射影空間 R P 1 ≈ S 1 {\displaystyle \mathbb {R} P^{1}\approx S^{1}} 上の普遍1-平面バンドル ξ U {\displaystyle \xi _{U}} に対し、 w 1 ( 1 ) ( ξ U ) ≠ 0 {\displaystyle w_{1}^{(1)}(\xi _{U})\neq 0} 。 全チャーン類と同様、全スティーフェル・ホイットニー類を定義でき、全チャーン類と同様の性質を示す事ができる： 定義・定理 (全スティーフェル・ホイットニー類) ― : w ( ξ ) = w 0 ( ξ ) + w 1 ( ξ ) + ⋯ + w n ( ξ ) {\displaystyle w(\xi )=w_{0}(\xi )+w_{1}(\xi )+\cdots +w_{n}(\xi )} をξの全スティーフェル・ホイットニー類（英: total Stiefel Whitney polynomial）といい、以下が成立する： w ( ξ ⊕ η ) = w ( ξ ) ⌣ w ( η ) {\displaystyle w(\xi \oplus \eta )=w(\xi )\smile w(\eta )} （安定性、英: stability） w ( η ⊕ ϵ ) = w ( η ) {\displaystyle w(\eta \oplus \epsilon )=w(\eta )} 自然な写像 ν   :   S O ( 1 ) → U ( 1 ) {\displaystyle \nu ~:~SO(1)\to U(1)} が誘導する写像 H ∗ ( U ( 1 ) ; Z 2 ) → H ∗ ( S O ( 1 ) ; Z 2 ) {\displaystyle H^{*}(U(1);\mathbb {Z} _{2})\to H^{*}(SO(1);\mathbb {Z} _{2})} は単射であり、 H ∗ ( U ( 1 ) ; Z 2 ) {\displaystyle H^{*}(U(1);\mathbb {Z} _{2})} の生成元αの自乗α2がβに移る事が知られている。したがって σ i ( α 1 2 , … , α n 2 ) ∈ H ∗ ( U ( 1 ) n ; Z 2 ) {\displaystyle \sigma _{i}(\alpha _{1}{}^{2},\ldots ,\alpha _{n}{}^{2})\in H^{*}(U(1)^{n};\mathbb {Z} _{2})} は w i ∈ σ i ( β 1 , … , β n ) ∈ H ∗ ( U ( 1 ) n ; Z 2 ) {\displaystyle w_{i}\in \sigma _{i}(\beta _{1},\ldots ,\beta _{n})\in H^{*}(U(1)^{n};\mathbb {Z} _{2})} に移るが、 Z 2 {\displaystyle \mathbb {Z} _{2}} 上では σ i ( α 1 2 , … , α n 2 ) = σ i ( α 1 , … , α n ) 2 = c i {\displaystyle \sigma _{i}(\alpha _{1}{}^{2},\ldots ,\alpha _{n}{}^{2})=\sigma _{i}(\alpha _{1},\ldots ,\alpha _{n})^{2}=c_{i}} になので、以下が成立する： 定理 ―  実ベクトルバンドル ξ = ( π , X , E ) {\displaystyle \xi =(\pi ,X,E)} に対しその複素化を ξ C {\displaystyle \xi _{\mathbb {C} }} とすると、任意の非負整数iに対して以下が成立する： c i ( ξ C ) = w i ( ξ ) 2 {\displaystyle c_{i}(\xi _{\mathbb {C} })=w_{i}(\xi )^{2}} in H ∗ ( X ; Z 2 ) {\displaystyle H^{*}(X;\mathbb {Z} _{2})} 逆に複素ベクトルバンドル ω {\displaystyle \omega } から複素構造を忘れて（英語版）実ベクトルバンドルとみなしたものを ξ {\displaystyle \xi } の脱複素化（英: decomplexification、英: realification）と呼び、 ω R {\displaystyle \omega _{\mathbb {R} }} と書くと任意の非負整数iに対して以下が成立する事が知られている： 定理 ―  複素ベクトルバンドル ξ = ( π , X , E ) {\displaystyle \xi =(\pi ,X,E)} に対し、以下が成立する： w 2 i ( ω C ) = c i ( ξ ) {\displaystyle w_{2i}(\omega _{\mathbb {C} })=c_{i}(\xi )} 、 w 2 i + 1 ( ω C ) ) = 0 {\displaystyle w_{2i+1}(\omega _{\mathbb {C} }))=0} in H ∗ ( X ; Z 2 ) {\displaystyle H^{*}(X;\mathbb {Z} _{2})} 本節では 2 − 1 ∈ Λ {\displaystyle 2^{-1}\in \Lambda } を満たす可換環Λに対し、 H ∗ ( B S O ( n ) , Λ ) {\displaystyle H^{*}(BSO(n),\Lambda )} 、 H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} の構造を決定し、これをもとにポントリャーギン類とオイラー類を定義する。 本節ではコホモロジー環 H ∗ ( B S O ( n ) , Λ ) {\displaystyle H^{*}(BSO(n),\Lambda )} 、 H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} の構造し、これをもとにポントリャーギン類とオイラー類を定義する。そのために利用するのは、チャーン類のときと同様、ワイル群に関する議論である。そこでSO(n)の極大トーラスを記述するため、nが偶数であるか奇数であるかに応じてn=2m、n=2m+1として μ   :   S O ( 2 ) m ↪ S O ( n ) {\displaystyle \mu ~:~SO(2)^{m}\hookrightarrow SO(n)} を により定義する。ここで「 ⊕ {\displaystyle \oplus } 」は対角線上に行列を並べる演算であり、R(θ)は2次元の回転行列 R ( θ ) := ( cos ⁡ θ − sin ⁡ θ sin ⁡ θ cos ⁡ θ ) {\displaystyle R(\theta ):={\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}} である。 μ {\displaystyle \mu } によるSO(2)mの像はSO(n)の極大トーラスである事が知られている。さらに自然な埋め込み ι   :   S O ( n ) ↪ O ( n ) {\displaystyle \iota ~:~SO(n)\hookrightarrow O(n)} を考える。 そしてこれら２つの写像が分類空間のコホモロジーに誘導する写像を考える： 上式の最後の同型「 ≈ {\displaystyle \approx } 」は、リー群として S O ( 2 ) ≈ U ( 1 ) {\displaystyle SO(2)\approx U(1)} である事からチャーン類のときの議論により従う。ここで「 ≈ {\displaystyle \approx } 」は環としての同型であり、 H ∗ ( B S O ( 2 ) m , Λ ) {\displaystyle H^{*}(BSO(2)^{m},\Lambda )} の積はカップ積である。 またγjは H ∗ ( B S O ( 2 ) m ; Λ ) ≈ ⊗ j H ∗ ( B S O ( 2 ) ; Λ ) {\displaystyle H^{*}(BSO(2)^{m};\Lambda )\approx \otimes _{j}H^{*}(BSO(2);\Lambda )} のj番目の H ∗ ( B S O ( 2 ) ; Λ ) {\displaystyle H^{*}(BSO(2);\Lambda )} の生成元であり、γjは次数2のコホモロジー γ j ∈ H 2 ( B S O ( 2 ) ; Λ ) {\displaystyle \gamma _{j}\in H^{2}(BSO(2);\Lambda )} に属している。（これらもチャーン類のときの議論により従う）。 なお、 H ∗ ( B S O ( 2 ) ; Λ ) ≈ Λ [ γ ] {\displaystyle H^{*}(BSO(2);\Lambda )\approx \Lambda [\gamma ]} の生成元γの選び方は、Λの単元倍の自由度があるので、この自由度をなくす為、以下の規約を置く： 規約 ―  H ∗ ( B S O ( 2 ) ; Λ ) = H ∗ ( B U ( 1 ) ; Λ ) {\displaystyle H^{*}(BSO(2);\Lambda )=H^{*}(BU(1);\Lambda )} の生成元γとして、第一チャーン類 c 1 {\displaystyle c_{1}} を選ぶ。 上で自然な同型 S O ( 2 ) ≈ U ( 1 ) {\displaystyle SO(2)\approx U(1)} を用いた。このように規約を決めると、チャーン類の定義から γ = c 1 {\displaystyle \gamma =c_{1}} は整数係数のコホモロジー H ∗ ( B S O ( 2 ) ; Z ) = H ∗ ( B U ( 1 ) ; Z ) {\displaystyle H^{*}(BSO(2);\mathbb {Z} )=H^{*}(BU(1);\mathbb {Z} )} に属する事になるのが利点である。 本項の目標は、 H ∗ ( B S O ( 2 ) m , Λ ) ≈ Λ [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m},\Lambda )\approx \Lambda [\gamma _{1},\ldots ,\gamma _{m}]} を用いる事で H ∗ ( B S O ( n ) , Λ ) {\displaystyle H^{*}(BSO(n),\Lambda )} と H ∗ ( B O ( n ) , Λ ) {\displaystyle H^{*}(BO(n),\Lambda )} の構造を特定し、これをもとにポントリャーギン類とオイラー類を定義する事である。 詳細は後回しにし、先に結論を述べる。 定理 ( H ∗ ( B S O ( n ) ; Λ ) {\displaystyle H^{*}(BSO(n);\Lambda )} 、 H ∗ ( B O ( n ) ; Λ ) {\displaystyle H^{*}(BO(n);\Lambda )} の構造) ―  B ι ∗ {\displaystyle B\iota ^{*}} 、 B μ ∗ {\displaystyle B\mu ^{*}} は単射であり、 γ 1 2 , … , γ m 2 {\displaystyle \gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2}} の基本対称式を p j ( n ) := σ j ( γ 1 2 , … , γ m 2 ) {\displaystyle p_{j}^{(n)}:=\sigma _{j}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})} とし、 e ( n ) := γ 1 ⋯ γ m {\displaystyle e^{(n)}:=\gamma _{1}\cdots \gamma _{m}} とするとき、以下が成立する： H ∗ ( B S O ( n ) ; Λ ) → ∼ B μ ∗ { Λ [ p 1 ( n ) , … , p m ( n ) ]  if  n = 2 m + 1 Λ [ p 1 ( n ) , … , p m ( n ) , e ( n ) ]  if  n = 2 m {\displaystyle H^{*}(BSO(n);\Lambda ){\overset {B\mu ^{*}}{\overset {\sim }{\to }}}{\begin{cases}\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)}]&{\text{ if }}n=2m+1\\\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)},e^{(n)}]&{\text{ if }}n=2m\\\end{cases}}} H ∗ ( B O ( n ) ; Λ ) → ∼ B μ ∗ ∘ B ι ∗ Λ [ p 1 ( n ) , … , p m ( n ) ] {\displaystyle H^{*}(BO(n);\Lambda ){\overset {B\mu ^{*}\circ B\iota ^{*}}{\overset {\sim }{\to }}}\Lambda [p_{1}^{(n)},\ldots ,p_{m}^{(n)}]} ポントリャーギン類とオイラー類を以下のように定義する： 定義 (ポントリャーギン類、オイラー類) ―  上の定理と同様に記号を定めるとき、 p i ( n ) ∈ H 4 i ( B O ( n ) ; Λ ) {\displaystyle p_{i}^{(n)}\in H^{4i}(BO(n);\Lambda )} を第iポントリャーギン類（英: i-th Pontryagin class）といい、 n = 2 m {\displaystyle n=2m} のとき、 e ( n ) ∈ H n ( B S O ( n ) ; Λ ) {\displaystyle e^{(n)}\in H^{n}(BSO(n);\Lambda )} をオイラー類（英: Euler class）という。 紛れがなければ、 p i ( n ) {\displaystyle p_{i}^{(n)}} 、 e ( n ) {\displaystyle e^{(n)}} を単に p i {\displaystyle p_{i}} 、 e {\displaystyle e} と書く。 分類空間 H ∗ ( B O ( n ) ; Λ ) {\displaystyle H^{*}(BO(n);\Lambda )} や H ∗ ( O ( n ) ; Λ ) {\displaystyle H^{*}(O(n);\Lambda )} の元と特性類は1対1でするので、第iポントリャーギン類 p i {\displaystyle p_{i}} やオイラー類eに対応する特性類 p i ( ξ ) {\displaystyle p_{i}(\xi )} 、 e ( ξ ) {\displaystyle e(\xi )} をそれぞれベクトルバンドルξの第iポントリャーギン類、オイラー類という。分類空間の元 p i {\displaystyle p_{i}} 、eを p i ( ξ ) {\displaystyle p_{i}(\xi )} 、 e ( ξ ) {\displaystyle e(\xi )} と区別したいときは、 p i {\displaystyle p_{i}} 、eをそれぞれ第i普遍ポントリャーギン類（英: i-th universal Pontryagin class）、普遍オイラー類（英: universal Euler class）という。 なぜ上述の定理が成立するのかについては後述する。 本節では、前述したH*(BSO(n);Λ)とH*(BO(n);Λ)の構造を記述した定理がなぜ成立するかを次の３つの場合に分けて説明する： nが偶数の場合のH*(BSO(n);Λ)の構造 nが奇数の場合のH*(BSO(n);Λ)の構造 H*(BO(n);Λ)の構造 定理を示すにはチャーン類の場合と同様、ワイル群を用いる事でH*(BSO(n);Λ)の構造を決定する。そのためにBorelによる以下の一般的な定義を用いる： 定理 (Borelの定理) ―  pを素数とし、Gを連結なコンパクトリー群で整数係数コホモロジー H ∗ ( G , Z ) {\displaystyle H^{*}(G,\mathbb {Z} )} がp-捻れ部分群を持たないものとする。 さらにTをGの極大トーラスとし、WをGのワイル群とし、 H ∗ ( B T , Z ) W {\displaystyle H^{*}(BT,\mathbb {Z} )^{W}} を H ∗ ( B T , Z ) {\displaystyle H^{*}(BT,\mathbb {Z} )} の元でWに関して不変なもの全体の集合とする。 H ∗ ( B T , Z ) W ⊗ Z p ⊂ H ∗ ( B T , Z p ) {\displaystyle H^{*}(BT,\mathbb {Z} )^{W}\otimes \mathbb {Z} _{p}\subset H^{*}(BT,\mathbb {Z} _{p})} とみなすと、包含写像 ι   :   T ↪ G {\displaystyle \iota ~:~T\hookrightarrow G} がコホモロジーに誘導する写像 B ι ∗   :   H ∗ ( B G , Z p ) → H ∗ ( B T , Z ) W ⊗ Z p {\displaystyle B\iota ^{*}~:~H^{*}(BG,\mathbb {Z} _{p})\to H^{*}(BT,\mathbb {Z} )^{W}\otimes \mathbb {Z} _{p}} は環同型である。 H ∗ ( S O ( n ) ; Λ ) {\displaystyle H^{*}(SO(n);\Lambda )} が p ≠ 2 {\displaystyle p\neq 2} のねじれ元を持たない事を利用して、以下の命題を示せる： 命題 (H*(BSO(n),Λ)のワイル群による表現) ― 写像 μ ∗   :   H ∗ ( B S O ( n ) ; Λ ) → H ∗ ( B S O ( 2 ) m ; Z ) W ⊗ Λ {\displaystyle \mu ^{*}~:~H^{*}(BSO(n);\Lambda )\to H^{*}(BSO(2)^{m};\mathbb {Z} )^{W}\otimes \Lambda } は環同型である。 上述の命題ではBorelの定理で「 Z p {\displaystyle \mathbb {Z} _{p}} 」であったところが「Λ」に代わっているが、普遍係数定理を用いる事で「Λ」に代えてよい事が容易に示せる。 命題の証明 命題の証明には普遍係数定理を使うので、まずこの定理を復習する： 定理 (普遍係数定理) ―  Xを位相空間とし、Mを Z {\displaystyle \mathbb {Z} } -加群とする。全てのkに対して H k ( X ; Z ) {\displaystyle H_{k}(X;\mathbb {Z} )} が Z {\displaystyle \mathbb {Z} } 上有限生成であれば、任意のkに対して以下が成立する: H k ( X ; M ) ≈ H k ( X ; Z ) ⊗ M ⊕ T o r ( H k + 1 ( X ; Z ) , M ) {\displaystyle H^{k}(X;M)\approx H^{k}(X;\mathbb {Z} )\otimes M\oplus \mathrm {Tor} (H^{k+1}(X;\mathbb {Z} ),M)} . すでに述べたようにBSO(n)やBSO(2)はグラスマン多様体として表す事ができる。そしてグラスマン多様体をCW複体であって各kに対してk包体が有限個のもので表せる事が知られている。よって H k ( B S O ( n ) ; Z ) {\displaystyle H_{k}(BSO(n);\mathbb {Z} )} 、 H k ( B S O ( n ) ; Z ) {\displaystyle H^{k}(BSO(n);\mathbb {Z} )} 、 H k ( B S O ( 2 ) m ; Z ) {\displaystyle H_{k}(BSO(2)^{m};\mathbb {Z} )} 、 H k ( B S O ( 2 ) m ; Z ) {\displaystyle H^{k}(BSO(2)^{m};\mathbb {Z} )} は全て有限生成であり、上述の普遍係数定理の前提条件が満たされる。 以下、 Λ = Z [ 1 / 2 ] = { a / 2 n ∣ a ∈ Z , n ∈ Z ≥ 0 } {\displaystyle \Lambda =\mathbb {Z} [1/2]=\{a/2^{n}\mid a\in \mathbb {Z} ,n\in \mathbb {Z} _{\geq 0}\}} の場合に対してのみ定理を証明する。それ以外の場合に関しては普遍係数定理から従う。なお Λ = Z [ 1 / 2 ] {\displaystyle \Lambda =\mathbb {Z} [1/2]} は単項イデアル整域であり、 Λ {\displaystyle \Lambda } 上のイデアルは素数 p ≠ 2 {\displaystyle p\neq 2} により生成される単項イデアルのみである事を容易に示せる。 μ   :   S O ( 2 ) m → S O ( n ) {\displaystyle \mu ~:~SO(2)^{m}\to SO(n)} が誘導する写像 B μ Λ ∗   :   H k ( B S O ( n ) , Λ ) ≈ H k ( B S O ( n ) , Z ) ⊗ Λ → H k ( B S O ( 2 ) m , Z ) W ⊗ Λ {\displaystyle B\mu {}_{\Lambda }^{*}~:~H^{k}(BSO(n),\Lambda )\approx H^{k}(BSO(n),\mathbb {Z} )\otimes \Lambda \to H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda } ...(1) を考えるとき、まず(1)式の右辺について、 H k ( B S O ( 2 ) m , Z ) W ⊗ Λ ≈ Λ r k {\displaystyle H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda \approx \Lambda ^{r_{k}}} ...(2) となる非負整数rkが存在する事が言える。 実際、 S O ( 2 ) ≈ U ( 1 ) {\displaystyle SO(2)\approx U(1)} であるので、チャーン類のところで述べた議論から、 H ∗ ( B S O ( 2 ) m ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} であり、よって特に各kに対し、 H k ( B S O ( 2 ) m ; Z ) {\displaystyle H^{k}(BSO(2)^{m};\mathbb {Z} )} は自由アーベル群であり、したがってその部分群である H k ( B S O ( 2 ) m , Z ) W {\displaystyle H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}} も自由アーベル群であるので(2)がしたがう。 Λ = Z [ 1 / 2 ] {\displaystyle \Lambda =\mathbb {Z} [1/2]} は単項イデアル整域なので、有限生成加群の基本定理を使って H k ( B S O ( n ) ; Z ) ≈ Λ t k ⊕ S ( k ) {\displaystyle H^{k}(BSO(n);\mathbb {Z} )\approx \Lambda ^{t_{k}}\oplus S^{(k)}} と自由Λ-加群部分 Λ t k {\displaystyle \Lambda ^{t_{k}}} と捩れ部分群部分 S ( k ) {\displaystyle S^{(k)}} の直和として表すと、(2)式より(1)式は B μ Λ ∗   :   H k ( B S O ( n ) , Λ ) ≈ Λ t k ⊕ S ( k ) → H k ( B S O ( 2 ) m , Z ) W ⊗ Λ ≈ Λ r k {\displaystyle B\mu {}_{\Lambda }^{*}~:~H^{k}(BSO(n),\Lambda )\approx \Lambda ^{t_{k}}\oplus S^{(k)}\to H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda \approx \Lambda ^{r_{k}}} ...(3) と書ける。 H ∗ ( S O ( n ) ; Z ) {\displaystyle H^{*}(SO(n);\mathbb {Z} )} は素数 p ≠ 2 {\displaystyle p\neq 2} に対し、p-捩れ部分群を持たないので、 G = S O ( n ) {\displaystyle G=SO(n)} 、 T = S O ( 2 ) m {\displaystyle T=SO(2)^{m}} に対してBorelの定理を使う事ができ、 B μ Z p ∗   :   H ∗ ( B S O ( n ) , Z p ) → ∼ H ∗ ( B S O ( 2 ) m , Z ) W ⊗ Z p {\displaystyle B\mu {}_{\mathbb {Z} _{p}}^{*}~:~H^{*}(BSO(n),\mathbb {Z} _{p}){\overset {\sim }{\to }}H^{*}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \mathbb {Z} _{p}} for p ≠ 2 {\displaystyle p\neq 2} である。上式と(3)式と普遍係数定理を使って書き換える事で、 B μ Z p ∗   :   Z p t k ⊕ ( S ( k ) ⊗ Z p ) ⊕ ( S ( k + 1 ) ⊗ Z p ) → ∼ Z p r k {\displaystyle B\mu {}_{\mathbb {Z} _{p}}^{*}~:~\mathbb {Z} _{p}{}^{t_{k}}\oplus (S^{(k)}\otimes \mathbb {Z} _{p})\oplus (S^{(k+1)}\otimes \mathbb {Z} _{p}){\overset {\sim }{\to }}\mathbb {Z} _{p}{}^{r_{k}}} for p ≠ 2 {\displaystyle p\neq 2} ...(4) が言える。 有限生成加群の基本定理から S ( k ) {\displaystyle S^{(k)}} 、 S ( k + 1 ) {\displaystyle S^{(k+1)}} は有限集合なので、 S ( k ) {\displaystyle S^{(k)}} 、 S ( k + 1 ) {\displaystyle S^{(k+1)}} には位数qの元が存在しない素数 q ≠ 2 {\displaystyle q\neq 2} を取る事ができる。(4)式で p = q {\displaystyle p=q} とすると、qの取り方から S ( k ) ⊗ Z q = S ( k + 1 ) ⊗ Z q = 0 {\displaystyle S^{(k)}\otimes \mathbb {Z} _{q}=S^{(k+1)}\otimes \mathbb {Z} _{q}=0} が成立する。よって(4)式から r k = t k {\displaystyle r_{k}=t_{k}} ...(5) が成立する。すなわち H k ( B S O ( n ) ; Λ ) {\displaystyle H^{k}(BSO(n);\Lambda )} の自由アーベル群部分のランクは H k ( B S O ( 2 ) m , Z ) W ⊕ Λ {\displaystyle H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}\oplus \Lambda } のランクに等しい。 また任意の p ≠ 2 {\displaystyle p\neq 2} に対し(4)式の両辺で Z p {\displaystyle \mathbb {Z} _{p}} 上の次元が同じでなければならないので、(5)式から S ( k ) ⊗ Z p = S ( k + 1 ) ⊗ Z p = 0 {\displaystyle S^{(k)}\otimes \mathbb {Z} _{p}=S^{(k+1)}\otimes \mathbb {Z} _{p}=0} である。よって S ( k ) {\displaystyle S^{(k)}} も S ( k + 1 ) {\displaystyle S^{(k+1)}} も p ≠ 2 {\displaystyle p\neq 2} に対しp-捩れ元を持たない。Λの定義から2-捩れ元はそもそも存在しないので、結局(4)式は同ランクの自由加群の間の写像 B μ Λ ∗   :   H k ( B S O ( n ) , Λ ) ≈ Λ r k → H k ( B S O ( 2 ) m , Z ) W ⊗ Λ ≈ Λ r k {\displaystyle B\mu {}_{\Lambda }^{*}~:~H^{k}(BSO(n),\Lambda )\approx \Lambda ^{r_{k}}\to H^{k}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda \approx \Lambda ^{r_{k}}} ...(6) として書ける。 B μ Λ ∗ {\displaystyle B\mu {}_{\Lambda }^{*}} を行列として表してその行列式 | B μ Λ ∗ | ∈ Λ {\displaystyle |B\mu {}_{\Lambda }^{*}|\in \Lambda } を考えると、(5)式が同型である事から p ≠ 2 {\displaystyle p\neq 2} に対し | B μ Λ ∗ | mod p ≠ 0 {\displaystyle |B\mu {}_{\Lambda }^{*}|{\bmod {p}}\neq 0} であり、したがって | B μ Λ ∗ | ∈ Λ {\displaystyle |B\mu {}_{\Lambda }^{*}|\in \Lambda } は p ≠ 2 {\displaystyle p\neq 2} を約数に持たない。Λの定義からこれは | B μ Λ ∗ | {\displaystyle |B\mu {}_{\Lambda }^{*}|} がΛ内で逆数を持つことを意味しており、よって B μ Λ ∗ {\displaystyle B\mu {}_{\Lambda }^{*}} は逆行列を持つ。したがって(6)は同型写像である。 以上の事からSO(n)のワイル群W=W(SO(n))の具体的な形と H ∗ ( B S O ( 2 ) m , Z ) W ⊗ Λ ⊂ H ∗ ( B S O ( 2 ) m , Z ) ≈ Λ [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m},\mathbb {Z} )^{W}\otimes \Lambda \subset H^{*}(BSO(2)^{m},\mathbb {Z} )\approx \Lambda [\gamma _{1},\ldots ,\gamma _{m}]} の具体的な形を決定すれば H ∗ ( B S O ( n ) , Λ ) {\displaystyle H^{*}(BSO(n),\Lambda )} の具体的な形が決定できる事になる。 n=2mとし、ワイル群 W = W ( S O ( n ) ) {\displaystyle W=W(SO(n))} の具体的な形を決定するため、実ベクトル空間として R n = ( R 2 ) m {\displaystyle \mathbb {R} ^{n}=(\mathbb {R} ^{2})^{m}} という同一視をし、以下の２種類の行列を考える： Pσ： ( R 2 ) m {\displaystyle (\mathbb {R} ^{2})^{m}} の成分を置換 σ {\displaystyle \sigma } に従って入れ替える置換行列。すなわち ( x j , y j ) j = 1 , … , m ∈ ( R 2 ) m {\displaystyle (x_{j},y_{j})_{j=1,\ldots ,m}\in (\mathbb {R} ^{2})^{m}} を ( x σ ( i ) , y σ ( i ) ) i = 1 , … , m ∈ ( R 2 ) m {\displaystyle (x_{\sigma (i)},y_{\sigma (i)})_{i=1,\ldots ,m}\in (\mathbb {R} ^{2})^{m}} に写す行列。 Ci：yiの符号を反転する写像。すなわち ( x j , y j ) j = 1 , … , m ∈ ( R 2 ) m {\displaystyle (x_{j},y_{j})_{j=1,\ldots ,m}\in (\mathbb {R} ^{2})^{m}} を ( x j , ( − 1 ) δ i , j y j ) j = 1 , … , m ∈ ( R 2 ) m {\displaystyle (x_{j},(-1)^{\delta _{i,j}}y_{j})_{j=1,\ldots ,m}\in (\mathbb {R} ^{2})^{m}} に写す行列。ここでδi,jはクロネッカーのデルタである。 Pσの方はxiとyiがセットになって置換されるので R n = ( R 2 ) m {\displaystyle \mathbb {R} ^{n}=(\mathbb {R} ^{2})^{m}} 上の空間の向きを保ち、SO(n)に属するが、Ciの方は空間の向きを反転するのでO(n)には属するもののSO(n)には属さない。しかしCiを偶数個かけ合わせたものはSO(n)に属する。 命題 ―  ワイル群の任意の元はCiを偶数個かけ合わせたものとPσを使って書ける。 証明 まず示すべき命題を厳密に記述する： 命題 ―  n=2mのとき、W=W(SO(n))の任意の元は、 [ C 1 ε 1 ⋯ C m ε m P σ ] {\displaystyle [C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}P_{\sigma }]} s.t. ε 1 + ⋯ + ε m = 0 mod 2 {\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}=0{\bmod {2}}} という形で書ける。ここで [ ⋅ ] {\displaystyle [\cdot ]} は（ワイル群は正規化群を中心化群で割ったものであったので）中心化群による同値類を表し、σは置換である。 ワイル群の元 [ A ] ∈ W {\displaystyle [A]\in W} の具体的な形が定理に書かれた形である事を示す。 そのために相異なる値 κ 1 , … , κ m ∈ [ 0 , 2 π ) {\displaystyle \kappa _{1},\ldots ,\kappa _{m}\in [0,2\pi )} を選び、 K := R ( κ 1 ) ⊕ ⋯ ⊕ R ( κ m ) {\displaystyle K:=R(\kappa _{1})\oplus \cdots \oplus R(\kappa _{m})} とする。 さらに e 1 , f 1 , e 2 , f 2 , … , e m , f m {\displaystyle e_{1},f_{1},e_{2},f_{2},\ldots ,e_{m},f_{m}} を R n = ( R 2 ) m {\displaystyle \mathbb {R} ^{n}=(\mathbb {R} ^{2})^{m}} の基底とし、 E i {\displaystyle E_{i}} をei、fiが張る ( R 2 ) m {\displaystyle (\mathbb {R} ^{2})^{m}} の部分ベクトル空間とする。 ワイル群の定義から、 [ A ] ∈ W {\displaystyle [A]\in W} と上記のGに対し、 φ A ( G ) ∈ S O ( 2 ) m {\displaystyle \varphi _{A}(G)\in SO(2)^{m}} なので、ある κ 1 ′ , … , κ m ′ ∈ [ 0 , 2 π ) {\displaystyle \kappa '_{1},\ldots ,\kappa '_{m}\in [0,2\pi )} が存在し、 φ A ( G ) = R ( κ 1 ′ ) ⊕ ⋯ ⊕ R ( κ m ′ ) {\displaystyle \varphi _{A}(G)=R(\kappa '_{1})\oplus \cdots \oplus R(\kappa '_{m})} が成立する。 e i ′ := e i A {\displaystyle e'_{i}:=e_{i}A} 、 f i ′ := f i A {\displaystyle f'_{i}:=f_{i}A} とし、e'i、f'iが張る R 2 m {\displaystyle \mathbb {R} ^{2m}} の部分ベクトル空間をE'iとすると、直交行列Kの標準形の一意性より、ある置換 σ   :   { 1 , … , m } → { 1 , … , m } {\displaystyle \sigma ~:~\{1,\ldots ,m\}\to \{1,\ldots ,m\}} が存在し、 E i ′ = E σ ( i ) {\displaystyle E'_{i}=E_{\sigma (i)}} が成立する。これは E i ′ = E σ ( i ) {\displaystyle E'_{i}=E_{\sigma (i)}} の二組の基底 ( e i , f i ) {\displaystyle (e_{i},f_{i})} 、 ( e i ′ , f i ′ ) {\displaystyle (e'_{i},f'_{i})} が2次元の可逆行列で移り合う事を意味する。 よってある2次元の可逆行列 A 1 , … , A m {\displaystyle A_{1},\ldots ,A_{m}} が存在し、 A = ( A 1 ⊕ ⋯ ⊕ A m ) ⋅ P σ {\displaystyle A=(A_{1}\oplus \cdots \oplus A_{m})\cdot P_{\sigma }} が成立する。Aが向きを保つ直交行列であり、 R n = ( R 2 ) m {\displaystyle \mathbb {R} ^{n}=(\mathbb {R} ^{2})^{m}} 上の置換行列 P σ {\displaystyle P_{\sigma }} も向きを保つ直交行列なので、 A 1 ⊕ ⋯ ⊕ A m {\displaystyle A_{1}\oplus \cdots \oplus A_{m}} も向きを保つ直交行列でなければならない。したがって A 1 , … , A m {\displaystyle A_{1},\ldots ,A_{m}} はすべて直交行列であり、しかも | A 1 | ⋅ ⋯ ⋅ | A m | = 1 {\displaystyle |A_{1}|\cdot \cdots \cdot |A_{m}|=1} が成立する。ここで | ⋅ | {\displaystyle |\cdot |} は行列式である。 Aiは直交行列なので、 A i = C ε i R ( θ i ) {\displaystyle A_{i}=C{}^{\varepsilon _{i}}R(\theta _{i})} となる θ i ∈ [ 0 , 2 π ) {\displaystyle \theta _{i}\in [0,2\pi )} 、 ε i ∈ { 0 , 1 } {\displaystyle \varepsilon _{i}\in \{0,1\}} が存在する。ここで C   :   R 2 → R 2 {\displaystyle C~:~\mathbb {R} ^{2}\to \mathbb {R} ^{2}} は ( x , y ) ∈ R 2 {\displaystyle (x,y)\in \mathbb {R} ^{2}} を ( x , − y ) ∈ R 2 {\displaystyle (x,-y)\in \mathbb {R} ^{2}} に写す写像であり、 ε i {\displaystyle \varepsilon _{i}} はAiが向きを保つときは0、そうでないときは1である。 よって A = ( A 1 ⊕ ⋯ ⊕ A m ) ⋅ P σ = ( ( C ε 1 R ( θ 1 ) ) ⊕ ⋯ ⊕ ( C ε m R ( θ m ) ) ) ⋅ P σ = ( C ε 1 ⊕ ⋯ ⊕ C ε m ) ⋅ ( R ( θ 1 ) ⊕ ⋯ ⊕ R ( θ m ) ) ⋅ P σ = ( C 1 ε 1 ⋯ C m ε m ) ⋅ ( R ( θ 1 ) ⊕ ⋯ ⊕ R ( θ m ) ) ⋅ P σ {\displaystyle A=(A_{1}\oplus \cdots \oplus A_{m})\cdot P_{\sigma }=((C{}^{\varepsilon _{1}}R(\theta _{1}))\oplus \cdots \oplus (C{}^{\varepsilon _{m}}R(\theta _{m})))\cdot P_{\sigma }=(C{}^{\varepsilon _{1}}\oplus \cdots \oplus C{}^{\varepsilon _{m}})\cdot (R(\theta _{1})\oplus \cdots \oplus R(\theta _{m}))\cdot P_{\sigma }=(C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}})\cdot (R(\theta _{1})\oplus \cdots \oplus R(\theta _{m}))\cdot P_{\sigma }} であり、 R ( θ 1 ) ⊕ ⋯ ⊕ R ( θ m ) ∈ S O ( 2 ) m {\displaystyle R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})\in SO(2)^{m}} であるので、 [ A ] = ( C 1 ε 1 ⋯ C m ε m ) P σ {\displaystyle [A]=(C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}})P_{\sigma }} が成立する。また | A 1 | ⋅ ⋯ ⋅ | A m | = 1 {\displaystyle |A_{1}|\cdot \cdots \cdot |A_{m}|=1} であった事から | C ε 1 | ⋯ | C ε m | = 1 {\displaystyle |C{}^{\varepsilon _{1}}|\cdots |C{}^{\varepsilon _{m}}|=1} が成立し、したがって ε 1 + ⋯ + ε m = 0 mod 2 {\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}=0{\bmod {2}}} も成立する。 よって P σ {\displaystyle P_{\sigma }} 、 C i {\displaystyle C_{i}} が H ∗ ( B S O ( 2 ) m ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上に誘導する写像を特定すれば、 H ∗ ( B S O ( n ) ; Λ ) {\displaystyle H^{*}(BSO(n);\Lambda )} の構造が決定できるが、これらの写像は以下の通りである： 補題 ―  P σ {\displaystyle P_{\sigma }} 、 C i {\displaystyle C_{i}} が H ∗ ( B S O ( 2 ) m ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上に誘導する写像は、それぞれ γ i {\displaystyle \gamma _{i}} を γ σ ( i ) {\displaystyle \gamma _{\sigma (i)}} に写す写像、 γ i {\displaystyle \gamma _{i}} を − γ i {\displaystyle -\gamma _{i}} に代える写像である。 証明 P σ {\displaystyle P_{\sigma }} が誘導する写像が γ i {\displaystyle \gamma _{i}} を γ σ ( i ) {\displaystyle \gamma _{\sigma (i)}} に写す写像な事はチャーン類のときの議論と場合と同様、分類空間は直積に対して自然に振る舞う事から従うので、補題の後半のみを示す。 証明はm=1の場合のみ示せば良い。実際、m=1の場合に C 1 {\displaystyle C_{1}} が誘導する写像が γ i {\displaystyle \gamma _{i}} を − γ i {\displaystyle -\gamma _{i}} に代える写像であれば、 H ∗ ( B S O ( 2 ) m ; Z ) {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )} ≈ ⊗ i = 1 , … , m H ∗ ( B S O ( 2 ) ; Z ) {\displaystyle \approx \otimes _{i=1,\ldots ,m}H^{*}(BSO(2);\mathbb {Z} )} ≈ ⊗ i = 1 , … , m Λ [ γ i ] {\displaystyle \approx \otimes _{i=1,\ldots ,m}\Lambda [\gamma _{i}]} である事から一般の場合が従う。 すでに述べたように π   :   P S O ( 2 ) → B S O ( 2 ) {\displaystyle \pi ~:~PSO(2)\to BSO(2)} （のモデルの一つ）は、無限次元の正規直交スティーフェル多様体 V 2 O R ∞ {\displaystyle V_{2}^{O}\mathbb {R} ^{\infty }} と向きづけられた無限次元グラスマン多様体 G ~ 2 R ∞ {\displaystyle {\tilde {G}}_{2}\mathbb {R} ^{\infty }} により、 π   :   ( e 1 , e 2 ) ∈ P S O ( 2 ) = V 2 O R ∞ → [ e 1 , e 2 ] ∈ B S O ( 2 ) = G ~ 2 R ∞ {\displaystyle \pi ~:~(e_{1},e_{2})\in PSO(2)=V_{2}^{O}\mathbb {R} ^{\infty }\to [e_{1},e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }} と表現できた。ここで [ e 1 , e 2 ] {\displaystyle [e_{1},e_{2}]} は ( e 1 , e 2 ) {\displaystyle (e_{1},e_{2})} が張る向きづけられた平面である。 分類空間への誘導写像の定義より、 B φ C 1   :   B S O ( 2 ) → B S O ( 2 ) {\displaystyle B\varphi _{C_{1}}~:~BSO(2)\to BSO(2)} は、 P S O ( 2 ) × φ C 1 S O ( 2 ) {\displaystyle PSO(2)\times _{\varphi _{C_{1}}}SO(2)} = V 2 O R ∞ × φ C 1 S O ( 2 ) {\displaystyle =V_{2}^{O}\mathbb {R} ^{\infty }\times _{\varphi _{C_{1}}}SO(2)} → B S O ( 2 ) {\displaystyle \to BSO(2)} = G ~ 2 R ∞ {\displaystyle ={\tilde {G}}_{2}\mathbb {R} ^{\infty }} の分類写像であった。 C 1 {\displaystyle C_{1}} による共役 φ C 1   :   S O ( 2 ) → S O ( 2 ) {\displaystyle \varphi _{C_{1}}~:~SO(2)\to SO(2)} は R ( θ ) {\displaystyle R(\theta )} を R ( − θ ) {\displaystyle R(-\theta )} に写す写像なので、バランス積 P S O ( 2 ) × φ C 1 S O ( 2 ) {\displaystyle PSO(2)\times _{\varphi _{C_{1}}}SO(2)} は ( ( e 1 , e 2 ) , R ( θ ) ) ∼ ( R ( − θ ) ( e 1 , e 2 ) , 1 ) {\displaystyle ((e_{1},e_{2}),R(\theta ))\sim (R(-\theta )(e_{1},e_{2}),1)} という同値関係で P S O ( 2 ) × S O ( 2 ) {\displaystyle PSO(2)\times SO(2)} を割る事により定義される。ここで R ( − θ ) ( e 1 , e 2 ) {\displaystyle R(-\theta )(e_{1},e_{2})} は ( e 1 , e 2 ) {\displaystyle (e_{1},e_{2})} を含む平面上で ( e 1 , e 2 ) {\displaystyle (e_{1},e_{2})} を − θ {\displaystyle -\theta } だけ回転させたものである。この同値類による同値関係を以下 [ ⋅ ] φ C 1 {\displaystyle [\cdot ]_{\varphi _{C_{1}}}} と表す。 写像 ξ {\displaystyle \xi } を ξ   :   [ e 1 , e 2 ] ∈ B S O ( 2 ) = G ~ 2 R ∞ ↦ [ e 1 , − e 2 ] ∈ B S O ( 2 ) = G ~ 2 R ∞ {\displaystyle \xi ~:~[e_{1},e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }\mapsto [e_{1},-e_{2}]\in BSO(2)={\tilde {G}}_{2}\mathbb {R} ^{\infty }} により定義すると、下記の図式が可換になる： [ ( ( e 1 , e 2 ) , R ( θ ) ) ] φ C 1 ∈ V 2 O R ∞ × φ C 1 S O ( 2 ) → R ( θ ) ( e 1 , − e 2 ) ∈ V 2 O R ∞ ↓ ↻ ↓ [ e 1 , e 2 ] ∈ G ~ 2 R ∞ → ξ [ e 1 , − e 2 ] ∈ G ~ 2 R ∞ {\displaystyle {\begin{array}{ccc}[((e_{1},e_{2}),R(\theta ))]_{\varphi _{C_{1}}}\in V_{2}^{O}\mathbb {R} ^{\infty }\times _{\varphi _{C_{1}}}SO(2)&\to &R(\theta )(e_{1},-e_{2})\in V_{2}^{O}\mathbb {R} ^{\infty }\\\downarrow &\circlearrowright &\downarrow \\[][e_{1},e_{2}]\in {\tilde {G}}_{2}\mathbb {R} ^{\infty }&{\overset {\xi }{\to }}&[e_{1},-e_{2}]\in {\tilde {G}}_{2}\mathbb {R} ^{\infty }\\\end{array}}} よって、 B φ C 1 {\displaystyle B\varphi _{C_{1}}} の定義より、 B φ C 1 {\displaystyle B\varphi _{C_{1}}} はξと一致し、ξの定義から B φ C 1 = ξ {\displaystyle B\varphi _{C_{1}}=\xi } が H ∗ ( B S O ( 2 ) ; Z ) {\displaystyle H^{*}(BSO(2);\mathbb {Z} )} 上に誘導する写像は、生成元 γ 1 {\displaystyle \gamma _{1}} を − γ 1 {\displaystyle -\gamma _{1}} に写す。 よって、以下が成立する： 命題 ―  nが偶数のとき、 H ∗ ( B S O ( 2 ) m ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上のワイル群の作用は、 γ 1 , … , γ m {\displaystyle \gamma _{1},\ldots ,\gamma _{m}} を置換する写像と、偶数個の γ i {\displaystyle \gamma _{i}} を符号反転する写像で生成される。 これらの事実を用いると、基本対称式 p i = σ i ( γ 1 2 , … , γ m 2 ) {\displaystyle p_{i}=\sigma _{i}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})} と e = γ 1 ⋯ γ m {\displaystyle e=\gamma _{1}\cdots \gamma _{m}} を用いて、 H ∗ ( B S O ( n ) ; Λ ) ≈ Λ [ p 1 , … , p m , e ] {\displaystyle H^{*}(BSO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m},e]} と書ける事がわかる。 証明 nが奇数の場合は上述の命題から自明に定理が従うので、nが偶数の場合のみ定理を示す。 n = 2 m {\displaystyle n=2m} とする。 m=1の場合は、変数γiが1つしかないため「λiの偶数回の符号反転」は恒等写像のみであるので、定理は自明に従う。 m≧2に対し、任意の f ( γ 1 , … , γ m ) ∈ Λ [ γ 1 , γ 2 ] W {\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})\in \Lambda [\gamma _{1},\gamma _{2}]^{W}} は f ( γ 1 , … , γ m ) = ∑ ε 1 , … , ε m ∈ { 0 , 1 } f ε 1 , … , ε m ( γ 1 2 , … , γ m 2 ) γ 1 ε 1 ⋯ γ m ε m {\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})=\sum _{\varepsilon _{1},\ldots ,\varepsilon _{m}\in \{0,1\}}f_{\varepsilon _{1},\ldots ,\varepsilon _{m}}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}{}^{\varepsilon _{1}}\cdots \gamma _{m}{}^{\varepsilon _{m}}} という形で書きあらわせる。ここで f ε 1 , … , ε m ( γ 1 2 , … , γ m 2 ) γ 1 ε 1 ⋯ γ m ε m {\displaystyle f_{\varepsilon _{1},\ldots ,\varepsilon _{m}}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}{}^{\varepsilon _{1}}\cdots \gamma _{m}{}^{\varepsilon _{m}}} は各i=1,2に対し、λiの次数を mod 2 {\displaystyle {\bmod {2}}} したものが ε i {\displaystyle \varepsilon _{i}} になる項の和である。 k , ℓ ∈ { 1 , … , m } {\displaystyle k,\ell \in \{1,\ldots ,m\}} に対し γ k , γ ℓ {\displaystyle \gamma _{k},\gamma _{\ell }} の符号を反転すると、 f ( γ 1 , … , − γ k … , − γ ℓ , … , γ m ) = ( ∑ ε k = 0 , ε ℓ = 0 − ∑ ε k = 1 , ε ℓ = 0 − ∑ ε k = 0 , ε ℓ = 1 + ∑ ε k = 1 , ε ℓ = 1 ) f ε 1 , … , ε m ( γ 1 2 , … , γ m 2 ) γ 1 ε 1 ⋯ γ m ε m {\displaystyle f(\gamma _{1},\ldots ,-\gamma _{k}\ldots ,-\gamma _{\ell },\ldots ,\gamma _{m})=\left(\sum _{\varepsilon _{k}=0,\varepsilon _{\ell }=0}-\sum _{\varepsilon _{k}=1,\varepsilon _{\ell }=0}-\sum _{\varepsilon _{k}=0,\varepsilon _{\ell }=1}+\sum _{\varepsilon _{k}=1,\varepsilon _{\ell }=1}\right)f_{\varepsilon _{1},\ldots ,\varepsilon _{m}}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}{}^{\varepsilon _{1}}\cdots \gamma _{m}{}^{\varepsilon _{m}}} となる。fは偶数回の符号反転に関して不変でなければならない事から、 f ( γ 1 , … , γ m ) = f ( γ 1 , … , − γ k … , − γ ℓ , … , γ m ) {\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})=f(\gamma _{1},\ldots ,-\gamma _{k}\ldots ,-\gamma _{\ell },\ldots ,\gamma _{m})} なので、 ε k = ε ℓ {\displaystyle \varepsilon _{k}=\varepsilon _{\ell }} となる項以外は0でなければならない。 k , ℓ {\displaystyle k,\ell } の任意性から ε 1 = ⋯ = ε m {\displaystyle \varepsilon _{1}=\cdots =\varepsilon _{m}} となる項のみが生き残る事になるので、fは f ( γ 1 , … , γ m ) = f 0 , … , 0 ( γ 1 2 , … , γ m 2 ) + f 1 , … , 1 ( γ 1 2 , … , γ m 2 ) γ 1 ⋯ γ m {\displaystyle f(\gamma _{1},\ldots ,\gamma _{m})=f_{0,\ldots ,0}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})+f_{1,\ldots ,1}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})\gamma _{1}\cdots \gamma _{m}} であり、fが γ 1 2 , … , γ m 2 , γ 1 ⋯ γ m {\displaystyle \gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2},\gamma _{1}\cdots \gamma _{m}} の多項式で書ける事がわかる。 fは変数の入れ替えに対しても不変でなければならないので、以上の議論からfは γ 1 2 , ⋯ , γ m 2 {\displaystyle \gamma _{1}{}^{2},\cdots ,\gamma _{m}{}^{2}} の基本対象式と τ = γ 1 ⋯ γ m {\displaystyle \tau =\gamma _{1}\cdots \gamma _{m}} の多項式として書く事ができ、定理が示された。 n=2m+1とし、ワイル群 W = W ( S O ( n ) ) {\displaystyle W=W(SO(n))} を具体的に求めるため、実ベクトル空間として R n = ( R 2 ) m × R {\displaystyle \mathbb {R} ^{n}=(\mathbb {R} ^{2})^{m}\times \mathbb {R} } という同一視をし、Pσ、Ciをnが偶数の場合と同様に取る。さらに以下の行列を考える： M： ( ( x i , y i ) i , z ) ∈ ( R 2 ) m × R {\displaystyle ((x_{i},y_{i})_{i},z)\in (\mathbb {R} ^{2})^{m}\times \mathbb {R} } に ( ( x i , y i ) i , − z ) {\displaystyle ((x_{i},y_{i})_{i},-z)} を対応させる写像。 Mは明らかに位数2の元であり、しかもCiと可換である。そして埋め込み μ   :   S O ( 2 ) m ↪ S O ( n ) {\displaystyle \mu ~:~SO(2)^{m}\hookrightarrow SO(n)} の定義からMによる共役は S O ( 2 ) m {\displaystyle SO(2)^{m}} 上恒等写像になる。 nが偶数の場合と同様の議論により、ワイル群の任意の元は C 1 , … , C m , M {\displaystyle C_{1},\ldots ,C_{m},M} の偶数個の積とPσとの積により書ける事がわかるが、Mに着目するとさらに簡単な表現も得られる。 実際、Mによる共役は S O ( 2 ) m {\displaystyle SO(2)^{m}} 上恒等写像なので、変換に影響するのはM以外の C 1 , … , C m {\displaystyle C_{1},\ldots ,C_{m}} （とPσ）のみである。そしてこれらの積 C 1 ε 1 ⋯ C m ε m {\displaystyle C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}} が偶数個の積であっても奇数個の積であっても、 C ¯ i := C i M {\displaystyle {\bar {C}}_{i}:=C_{i}M} とすると、 C ¯ 1 ε 1 ⋯ C ¯ m ε m = C 1 ε 1 ⋯ C m ε m M ε 1 + ⋯ + ε m {\displaystyle {\bar {C}}_{1}{}^{\varepsilon _{1}}\cdots {\bar {C}}_{m}{}^{\varepsilon _{m}}=C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\varepsilon _{1}+\cdots +\varepsilon _{m}}} は必ず偶数個の元 C 1 , … , C m , M {\displaystyle C_{1},\ldots ,C_{m},M} の積である。よって以下が成立する： 命題 ―  ワイル群の元は C ¯ 1 , … , C ¯ m {\displaystyle {\bar {C}}_{1},\ldots ,{\bar {C}}_{m}} を偶数個または奇数個かけ合わせたものとPσを使って書ける。 証明 まず示すべき命題を厳密に記述する： 命題 ―  n=2m+1のときW=W(SO(n))の任意の元は、 [ C ¯ 1 ε 1 ⋯ C ¯ m ε m P σ ] {\displaystyle [{\bar {C}}_{1}{}^{\varepsilon _{1}}\cdots {\bar {C}}_{m}{}^{\varepsilon _{m}}P_{\sigma }]} という（偶数個または奇数個の）積の形で書ける。 ここで [ ⋅ ] {\displaystyle [\cdot ]} は（ワイル群は正規化群を中心化群で割ったものであったので）中心化群による同値類を表し、σは置換である。 nが偶数の場合と同様の議論により、 ワイル群の任意の元が [ C 1 ε 1 ⋯ C m ε m M δ P σ ] {\displaystyle [C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\delta }P_{\sigma }]} s.t. ε 1 + ⋯ + ε m + δ = 0 mod 2 {\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}+\delta =0{\bmod {2}}} という形で書ける事を示せる。 よって、 [ C 1 ε 1 ⋯ C m ε m M δ P σ ] = ( 1 ) [ C 1 ε 1 ⋯ C m ε m M ε 1 + ⋯ + ε m P σ ] = ( 2 ) [ ( C 1 M ) ε 1 ⋯ ( C m M ) ε m P σ ] = ( 3 ) [ C ¯ 1 ε 1 ⋯ C ¯ m ε m P σ ] {\displaystyle [C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\delta }P_{\sigma }]{\underset {(1)}{=}}[C_{1}{}^{\varepsilon _{1}}\cdots C_{m}{}^{\varepsilon _{m}}M^{\varepsilon _{1}+\cdots +\varepsilon _{m}}P_{\sigma }]{\underset {(2)}{=}}[(C_{1}M){}^{\varepsilon _{1}}\cdots (C_{m}M){}^{\varepsilon _{m}}P_{\sigma }]{\underset {(3)}{=}}[{\bar {C}}_{1}{}^{\varepsilon _{1}}\cdots {\bar {C}}_{m}{}^{\varepsilon _{m}}P_{\sigma }]} が成立する。ここで (1)は ε 1 + ⋯ + ε m + δ = 0 mod 2 {\displaystyle \varepsilon _{1}+\cdots +\varepsilon _{m}+\delta =0{\bmod {2}}} とMの位数が2な事から従う。 (2)はMがCiと可換な事から従う。 (3)は C ¯ i {\displaystyle {\bar {C}}_{i}} の定義から従う。 nが偶数の場合と同様、 P σ {\displaystyle P_{\sigma }} 、 C i {\displaystyle C_{i}} が H ∗ ( B S O ( 2 ) ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2);\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上に誘導する写像は、それぞれ γ 1 , … , γ m {\displaystyle \gamma _{1},\ldots ,\gamma _{m}} を γ σ ( 1 ) , … , γ σ ( m ) {\displaystyle \gamma _{\sigma (1)},\ldots ,\gamma _{\sigma (m)}} に写す写像、 γ i {\displaystyle \gamma _{i}} を − γ i {\displaystyle -\gamma _{i}} に代える写像である。またMによる共役は恒等写像なので、 C ¯ i = C i M {\displaystyle {\bar {C}}_{i}=C_{i}M} が H ∗ ( B S O ( 2 ) ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2);\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上に誘導する写像も γ i {\displaystyle \gamma _{i}} を − γ i {\displaystyle -\gamma _{i}} に代える写像である。よって以下が成立する。 命題 ―  nが奇数のとき、 H ∗ ( B S O ( 2 ) m ; Z ) ≈ Z [ γ 1 , … , γ m ] {\displaystyle H^{*}(BSO(2)^{m};\mathbb {Z} )\approx \mathbb {Z} [\gamma _{1},\ldots ,\gamma _{m}]} 上のワイル群の作用は、 γ 1 , … , γ m {\displaystyle \gamma _{1},\ldots ,\gamma _{m}} を置換する写像と、任意個の γ i {\displaystyle \gamma _{i}} を符号反転する写像で生成される。 これらの写像で不変な元は γ i 2 {\displaystyle \gamma _{i}{}^{2}} の対称式なので、基本対称式 p i = σ i ( γ 1 2 , … , γ m 2 ) {\displaystyle p_{i}=\sigma _{i}(\gamma _{1}{}^{2},\ldots ,\gamma _{m}{}^{2})} を用いて、 H ∗ ( B S O ( n ) ; Λ ) ≈ Λ [ p 1 , … , p m ] {\displaystyle H^{*}(BSO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m}]} と書ける事がわかる。 O ( n ) / S O ( n ) = Z 2 {\displaystyle O(n)/SO(n)=\mathbb {Z} _{2}} である事から、部分群の分類空間に関する定理より、包含写像 ι   :   S O ( n ) ⊂ O ( n ) {\displaystyle \iota ~:~SO(n)\subset O(n)} が誘導する写像 B ι   :   B S O ( n ) → B O ( n ) {\displaystyle B\iota ~:~BSO(n)\to BO(n)} は Z 2 {\displaystyle \mathbb {Z} _{2}} -主バンドルである。 Z 2 {\displaystyle \mathbb {Z} _{2}} のBSO(n)への作用は、 Z 2 {\displaystyle \mathbb {Z} _{2}} の H ∗ ( B S O ( n ) ; Λ ) {\displaystyle H^{*}(BSO(n);\Lambda )} への作用を誘導する。 Z 2 {\displaystyle \mathbb {Z} _{2}} の作用により不変な H ∗ ( B S O ( n ) ; Λ ) {\displaystyle H^{*}(BSO(n);\Lambda )} の元の集合を H ∗ ( B S O ( n ) ; Λ ) Z 2 {\displaystyle H^{*}(BSO(n);\Lambda )^{\mathbb {Z} _{2}}} とすると以下が成立する事が知られている： 定理 ―  B ι ∗   :   H ∗ ( B O ( n ) ; Λ ) → H ∗ ( B S O ( n ) ; Λ ) Z 2 {\displaystyle B\iota ^{*}~:~H^{*}(BO(n);\Lambda )\to H^{*}(BSO(n);\Lambda )^{\mathbb {Z} _{2}}} は環同型である。 証明 部分群の分類空間に関する定理の証明からもわかるように、 B ι   :   B S O ( n ) → B O ( n ) {\displaystyle B\iota ~:~BSO(n)\to BO(n)} はBO(n)の二重被覆で、 Z 2 {\displaystyle \mathbb {Z} _{2}} はそのデッキ変換としてBSO(n)に作用する。 C ∗ ( B O ( n ) ; Λ ) {\displaystyle C_{*}(BO(n);\Lambda )} を特異ホモロジーのΛ-係数チェイン複体とするとき、 ∑ i a i s i ∈ C ∗ ( B O ( n ) ; Λ ) {\displaystyle \sum _{i}a_{i}s_{i}\in C_{*}(BO(n);\Lambda )} の各チェイン単体siは二重被覆BSO(n)に２つのリフト s i ′ {\displaystyle s'_{i}} 、 s i ″ {\displaystyle s''_{i}} を持ち、この２つのリフトはデッキ変換で移り合う。そこで写像p!を p !   :   C ∗ ( B O ( n ) ; Λ ) → C ∗ ( B S O ( n ) ; Λ ) ,     ∑ i a i s i ↦ ∑ i a i ( s i ′ + s i ″ ) {\displaystyle p_{!}~:~C_{*}(BO(n);\Lambda )\to C_{*}(BSO(n);\Lambda ),~~\sum _{i}a_{i}s_{i}\mapsto \sum _{i}a_{i}(s'_{i}+s''_{i})} により定義し、 g   :   B S O ( n ) → B S O ( n ) {\displaystyle g~:~BSO(n)\to BSO(n)} を（唯一の）非自明なデッキ変換とすると、 B ι ∘ p ! ( t ) = 2 t  for  ∀ t ∈ C ∗ ( B O ( n ) ; Λ ) p ! ∘ B ι ( s ) = s + g ( s )  for  ∀ s ∈ C ∗ ( B S O ( n ) ; Λ ) {\displaystyle {\begin{array}{rcll}B\iota \circ p_{!}(t)&=&2t&{\text{ for }}\forall t\in C_{*}(BO(n);\Lambda )\\p_{!}\circ B\iota (s)&=&s+g(s)&{\text{ for }}\forall s\in C_{*}(BSO(n);\Lambda )\end{array}}} が成立する。よってこれらがコホモロジーに誘導する写像は、 p ! ∗ ∘ B ι ∗ ( v ) = 2 v  for  ∀ v ∈ H ∗ ( B O ( n ) ; Λ ) B ι ∗ ∘ p ! ∗ ( u ) = u + g ∗ ( u )  for  ∀ u ∈ H ∗ ∗ ( B S O ( n ) ; Λ ) {\displaystyle {\begin{array}{rcll}p_{!}{}^{*}\circ B\iota {}^{*}(v)&=&2v&{\text{ for }}\forall v\in H^{*}(BO(n);\Lambda )\\B\iota {}^{*}\circ p_{!}{}^{*}(u)&=&u+g^{*}(u)&{\text{ for }}\forall u\in H^{*}*(BSO(n);\Lambda )\end{array}}} を満たす。 2-1∈Λであった事から p ! ∗ ∘ B ι ∗ ( v ) = 2 v {\displaystyle p_{!}{}^{*}\circ B\iota {}^{*}(v)=2v} は逆写像を持つので、 B ι ∗ {\displaystyle B\iota {}^{*}} は単射である。 また u ∈ H ∗ ( B S O ( n ) ; Λ ) Z 2 {\displaystyle u\in H^{*}(BSO(n);\Lambda )^{\mathbb {Z} _{2}}} であれば、 g ∗ ( u ) = u {\displaystyle g^{*}(u)=u} であるので、 u = 2 − 1 u + g ∗ ( 2 − 1 u ) = B ι ∗ ( p ! ∗ ( u ) ) {\displaystyle u=2^{-1}u+g^{*}(2^{-1}u)=B\iota {}^{*}(p_{!}{}^{*}(u))} となり、uは B ι ∗ {\displaystyle B\iota {}^{*}} に関する逆像 p ! ∗ ( u ) {\displaystyle p_{!}{}^{*}(u)} を持つ。 以上から B ι ∗   :   H ∗ ( B O ( n ) ; Λ ) → H ∗ ( B S O ( n ) ; Λ ) Z 2 {\displaystyle B\iota ^{*}~:~H^{*}(BO(n);\Lambda )\to H^{*}(BSO(n);\Lambda )^{\mathbb {Z} _{2}}} が環同型な事が証明された。 上述の定理から特に、 H ∗ ( B O ( n ) ; Λ ) → H ∗ ( B S O ( n ) ; Λ ) → Λ [ γ 1 , … , γ m ] {\displaystyle H^{*}(BO(n);\Lambda )\to H^{*}(BSO(n);\Lambda )\to \Lambda [\gamma _{1},\ldots ,\gamma _{m}]} は単射である事が従う。この単射における H ∗ ( B O ( n ) ; Λ ) {\displaystyle H^{*}(BO(n);\Lambda )} の像は、前述のCiの（偶数個または奇数個の）積が作用が誘導する写像、Pσが誘導する写像で不変でなければならないので、H*(BSO(n),Λ)のときと同様の議論により、 H ∗ ( B O ( n ) ; Λ ) ≈ Λ [ p 1 , … , p m ] {\displaystyle H^{*}(BO(n);\Lambda )\approx \Lambda [p_{1},\ldots ,p_{m}]} が従う。 前述の定理が成り立つ理由の説明は後回しにし、本節ではポントリャーギン類とオイラー類の性質を述べる。 ポントリャーギン類はチャーン類との間に以下の関係を満たす： 定理 (チャーン類との関係) ―  実ベクトルバンドル ξ = ( π , E , X ) {\displaystyle \xi =(\pi ,E,X)} に対し、ξの複素化を ξ C {\displaystyle \xi _{\mathbb {C} }} とすると、任意の非負整数 j {\displaystyle j} に対し、以下が成立する： p j ( ξ ) = ( − 1 ) j c 2 j ( ξ C ) {\displaystyle p_{j}(\xi )=(-1)^{j}c_{2j}(\xi _{\mathbb {C} })} 、 c 2 j + 1 ( ξ C ) = 0 {\displaystyle c_{2j+1}(\xi _{\mathbb {C} })=0} in H ∗ ( X ; Λ ) {\displaystyle H^{*}(X;\Lambda )} 証明 定理を示すには、包含写像 ι   :   O ( n ) ⊂ U ( n ) {\displaystyle \iota ~:~O(n)\subset U(n)} が誘導する写像 ι ∗   :   H ∗ ( B U ( n ) ; Z ) → H ∗ ( B O ( n ) ; Z ) {\displaystyle \iota ^{*}~:~H^{*}(BU(n);\mathbb {Z} )\to H^{*}(BO(n);\mathbb {Z} )} によって B ι ∗ ( c k ) = { ( − 1 ) j p j if  k = 2 j 0 if  k = 2 j + 1 {\displaystyle B\iota ^{*}(c_{k})={\begin{cases}(-1)^{j}p_{j}&{\text{if }}k=2j\\0&{\text{if }}k=2j+1\end{cases}}} となる事を任意の非負整数kに対して示せば良い。 これまで同様 μ   :   O ( 2 ) m ↪ O ( n ) ,     ( A 1 , … , A m ) ↦ { R ( θ 1 ) ⊕ ⋯ ⊕ R ( θ m ) if  n = 2 m R ( θ 1 ) ⊕ ⋯ ⊕ R ( θ m ) ⊕ 1 if  n = 2 m + 1 {\displaystyle \mu ~:~O(2)^{m}\hookrightarrow O(n),~~(A_{1},\ldots ,A_{m})\mapsto {\begin{cases}R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})&{\text{if }}n=2m\\R(\theta _{1})\oplus \cdots \oplus R(\theta _{m})\oplus 1&{\text{if }}n=2m+1\end{cases}}} を考え、可換図式 O ( 2 ) m ↪ μ O ( n ) ↪ ι U ( n ) ρ ↓ ↻ φ U