Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm reading Milnor's 'characteristic classes', and in the first chapter he defines smoothness structure on a set M, which is confusing for me, as what follows:(these are not Milnor's words so please let me know if something is unclear)

He first defines a smooth manifold as a subset of $R^A$ where $A$ can be any index set by means of charts:( $R^A$ is topologized as a cartesian product)

a subset $N \subset R^A$ is a smooth manifold of dimension n if each point in M has a neighborhood diffeomorphic to an open set in $R^n$ such that in each point the tangent space be $n$-dimensional (equivalently the transition functions be smooth). also a smooth function on $N$ can be defined using charts.

then he defines a smoothness structure on a set:

let $M$ be a set and let $F$ be a collection of real valued functions on $M$ which seperates points( That is, given $x \neq y $ in $M$ there exists $f\in F$ with $f(x) \neq f(y)$ ). Then M can be identified with its image under the canonical imbedding $i :M \rightarrow R^F $ . The collection $F$ is a smoothness structure on $M$ if the subset $i(M) \subset R^F$ is a smooth manifold, and if $F$ is precisely the set of all smooth real valued functions on this smooth manifold.

This definition is confusing for me and I don't know how to work with it, can anyone give me some intuition on this and clarify me or give me a reference? Maybe it's strange for me because he defines smoothness structure on a set not on a topological space.

This is one of the problems in this chapter about smoothness structure:

let $P^n$ be the set of all lines through the origin in $R^{n+1}$ and let $q:R^{n+1}-{0} \rightarrow P^n$ be the quotient map. Let $F$ denote the set of all functions $f:P^n \rightarrow R$ such that $f \circ q$ is smooth. Show that F is a smoothness structure on $P^n$.

Also it's not clear why this is equivalent to usual smooth structure on real projective space which we talk about it.

sorry for long question.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.