Skip to main content
2 events
when toggle format what by license comment
Jan 9, 2010 at 16:59 comment added Allen Hatcher Baez is talking about a different version of ${\mathbb C}P^\infty$ from the one topologists usually consider. Namely he takes nonzero rational functions with coefficients in ${\mathbb C}$ modulo scalar multiplication. The rational functions form an infinite dimensional vector space over ${\mathbb C}$, but of uncountable dimension since all the functions $1/(z+a)$ are linearly independent as $a$ ranges over ${\mathbb C}$. This gives a fatter version of ${\mathbb C}P^\infty$ that's actually an abelian group.
Jan 9, 2010 at 12:06 history answered K.J. Moi CC BY-SA 2.5