Classifying space for U(n): Difference between revisions

Revision as of 05:16, 27 January 2012

Revision as of 23:19, 24 April 2012

Line 69:

This last group is trivial for ''k'' > ''n'' + ''p''. Let

: <math>EU(n)={\lim_{\rightarrow}}\;_{k\rightarrowto\infty}F_n(\mathbb{C}^k)</math>

be the [[direct limit]] of all the ''F''_''n''('''C'''^''k'') (with the induced topology). Let

: <math>G_n(\mathbb{C}^\infty)={\lim_{\rightarrow}}\;_{k\rightarrowto\infty}G_n(\mathbb{C}^k)</math>

be the [[direct limit]] of all the ''G''_''n''('''C'''^''k'') (with the induced topology).