Take the 2-minute tour ×
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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.