### going the long way

What does it mean when mathematicians talk about a bijection or homomorphism?

Imagine you want to get from `X` to `X′` but you don’t know how. Then you find a “different way of looking at the same thing” using ƒ. (Map the stuff with ƒ to another space `Y`, then do something else over in `image ƒ`, then take a journey over there, and then return back with ƒ ⁻¹.)

The fact that a bijection can show you something in a new way that suddenly makes the answer to the question so obvious, is the basis of the jokes on www.theproofistrivial.com.

In a given category the homomorphisms `Hom` ∋ ƒ preserve all the interesting properties. Linear maps, for example (except when `det=0`) barely change anything—like if your government suddenly added another zero to the end of all currency denominations, just a rescaling—so they preserve most interesting properties and therefore any linear mapping to another domain could be inverted back so anything you discover over in the new domain (`image of ƒ`) can be used on the original problem.

All of these fancy-sounding maps are linear:

They sound fancy because whilst they leave things technically equivalent in an objective sense, the result looks very different to people. So then we get to use intuition or insight that only works in say the spectral domain, and still technically be working on the same original problem.

Pipe the problem somewhere else, look at it from another angle, solve it there, unpipe your answer back to the original viewpoint/space.

` `

For example: the Gaussian (normal) cumulative distribution function is monotone, hence injective (one-to-one), hence invertible.

By contrast the Gaussian probability distribution function (the “default” way of looking at a “normal Bell Curve”) fails the horizontal line test, hence is many-to-one, hence cannot be totally inverted.

So in this case, integrating once `∫[pdf] = cdf` made the function “mathematically nicer” without changing its interesting qualities or altering its inherent nature.

` `

“Going the long way” can be easier than trying to solve a problem directly.

43 notes

1. supplysideliberal reblogged this from isomorphismes and added:
Math Post: Isomorphismes on Transforming a Problem Into Something Easier to Understand Isomorphismes is one of my...
2. solvolysis reblogged this from isomorphismes
3. guerrillalenguado reblogged this from isomorphismes and added:
Para hacerme el interesante:...(vía:isomorphismes:)
4. oneofthepaths reblogged this from cake4less
5. huckleberrylauren reblogged this from isomorphismes
6. makgregory reblogged this from isomorphismes
7. ksdwong reblogged this from isomorphismes
8. omigash reblogged this from isomorphismes
9. censoredchannel reblogged this from isomorphismes
10. lucky2020 reblogged this from isomorphismes
11. choking-idiots reblogged this from isomorphismes
12. feelsinfinite reblogged this from thatsjustthewaythatitgoes
13. vicioustv reblogged this from isomorphismes
14. thatsjustthewaythatitgoes reblogged this from isomorphismes
15. chavelitalanegrita reblogged this from isomorphismes
16. pietm reblogged this from isomorphismes
17. cake4less reblogged this from isomorphismes
18. insearchofzero reblogged this from isomorphismes
19. isomorphismes posted this