[Math] the characteristic property of surjective submersions

dg.differential-geometry

In Lee's 'Introduction to smooth manifolds' he states that given smooth manifolds X,Y and a surjective submersion f:X→Y, then f is a smoothly final map, that is for any further smooth manifold Z, and any map g:Y→Z, we have g smooth iff g∘f is smooth.

He then says that problem 4.7 shows why this property is 'characteristic'. I can't see why the reverse implication should hold.

Unfortunately, google-books doesn't show that page, nor do I have access to a mathematical library, can some-one enlighten me as to what he means?

One of the answers to this question states a characteristic property, but it doesn't appear on the face of it what Lee has in mind.

Best Answer

Here's what I had in mind:

Theorem: Suppose $M$ and $N$ are smooth manifolds and $\pi:M\to N$ is a surjective smooth submersion. Then the given topology and smooth structure on $N$ are the only ones that satisfy the characteristic property.

(That's what Problem 4-7 asks you to prove.)