Hello everyone,

currently I'm reading the book "Topology from the differentiable viewpoint" by John Milnor.

On page one, he defines what asmooth manifold of dimenson mis. I already know some other definitions of this, but they are (slightly) different. Also, I'm not sure if I understand his definition.

He writes:

"A subset M IR^k is called a smooth manifold of dimensoin m if each x M has a neighborhood W M that is diffeomorphic to an open subset U of the euclidian space IR^m."

What does he mean when he writes "neighborhood W M"?

I know what a neighborhood is, but I don't understand what he means here. Is W a neighborhood of x in IR^k?

If W M (as a subset of M) is diffeomorphic to U and U is open, then W M is open (in M) and therefore W is an open set in IR^k which contains x. So W would be anopenneighborhood of x in IR^k.

Can someone give me an (accurate) explanation?

Thanks in advance!

engmaths