Things You've Always Wanted To Know

Mr. Tea

Let's Talk About Ceps
Feynman had a cheerfully instrumentalist view of mathematics, which he seems to have regarded as basically book-keeping. The real interest for him was elsewhere. I have absolutely no idea how his mind worked.

I love that quote of his about doing algebra, whereby he got the 'important bits' done on the first pass and then went back and adjusted all the fiddly details like factors of 2, pi and minus one. Or possibly even just left them to be filled in by some lackey, a bit like how renaissance masters did the interesting bits of a painting and had anonymous apprentices fill in the background.
 

IdleRich

IdleRich
"One way of dealing with this is to not insist on "getting" things, but just learn how to recognise and use them at the "oh yes, that's one of those, you do this..." level. Get on your knees and pray, and belief will come, seems to be the philosophy."
Think that this is pretty much true. To some extent you can almost get through a maths degree with this approach. The problem is that if you don't have the understanding you can't deal with something very well when it varies from the versions you've seen in the past. I've been playing a lot of squash recently and I would draw an analogy with technique in this sport - if you haven't got a good and natural feeling technique you may well be able to deal with a certain number of shots but then you get tougher ones where you need to improvise and if you haven't got the basics instintively you will struggle.
Not to say that I have good squash technique or that can remember anything from my degree for that matter.

"I have absolutely no idea how his mind worked."
I'm interested in the minds whose workings you do have an idea about.
 

nomadthethird

more issues than Time mag
Not that I've taken a lot of advanced math but I remember I usually took someone else's answers and worked backwards to figure out algebra/trig.

High school geometry would have been easier if I had taken it after college level symbolic logic, which I had to pass to get a philosophy degree for some reason.
 

don_quixote

Trent End
unfortunately the maths teaching at university is usually so poor that you have to rely on that level of understanding. after three years (i've been out of it a year and a half) i still don't have an understanding of what an isomorphism is and it came up every fucking year.
 

IdleRich

IdleRich
"i still don't have an understanding of what an isomorphism is and it came up every fucking year."
Isn't it a one-to-one and reversible mapping between two things that are in some way identical and which preserves relationships in those things.... or something?
 

Mr. Tea

Let's Talk About Ceps
I don't think it has to be one-to-one - for example the group SU(2) has a two-to-one isomorphism to SO(3), AFAIR. Couldn't swear to it, though - Slothrop to thread, please!
 
Last edited:

IdleRich

IdleRich
"I don't think it has to be one-to-one - for example the group SU(2) has a two-to-one isomorphism to O(3), AFAIR. Couldn't swear to it, though - Slothrop to thread, please!"
That doesn't sound right. If you have a two-to-one mapping then it can't be reversible because there wouldn't be a unique point for the reverse map to take any given point in the original destination space back to.
 

Mr. Tea

Let's Talk About Ceps
Ah, I seem to have confuzzled isomorphism with homomorphism:

"The Lie algebra su(2) is isomorphic to the Lie algebra so(3), which corresponds to the Lie group SO(3), the group of rotations in three-dimensional space. In other words, one can say that iσj's are a realization (and, in fact, the lowest-dimensional realization) of infinitesimal rotations in three-dimensional space. However, even though su(2) and so(3) are isomorphic as Lie algebras, SU(2) and SO(3) are not isomorphic as Lie groups. SU(2) is actually a double cover of SO(3), meaning that there is a two-to-one homomorphism from SU(2) to SO(3)."

http://en.wikipedia.org/wiki/Pauli_matrices#SO.283.29

So it depends whether you're talking about groups or the Lie algebras describing the groups. Bit out of my depth here, to be honest.
 

Slothrop

Tight but Polite
I don't think it has to be one-to-one - for example the group SU(2) has a two-to-one isomorphism to O(3), AFAIR. Couldn't swear to it, though - Slothrop to thread, please!
It's one to one and 'structure preserving'. If there's an isomorphism between two things (an isomorphism from A to B automatically gives an isomorphism from B to A because they're invertible) it means that "in terms of the sort of structure that we're looking at, these are identical."

The 'structure preserving' is intuitively pretty sensible once you've seen a couple of examples, but I'm not sure I could write down a general definition without resorting to category theory. But you get things like the map
f: integers -> integers
given by f(x) = x + 1
Which is an isomorphism of sets (since it's 1 to 1 and sets have no further structure) but isn't an isomorphism of additive groups, since f(0) =/= 0 and f(x+y) =/= f(x) + f(y)

But essentially, "A is isomorphic to B" means "A and B are the same thing described in different ways."
 

Mr. Tea

Let's Talk About Ceps
OK, cool. I remember the thing about SU(2) and SO(3) because in quantum mechanics SU(2) describes rotations in spinor space that correspond to the SO(3) rotations in configuration space - with the 2-to-1 homomorphism (as groups rather than algebras) being related to the way spin-1/2 particles have to be rotated through 720 degrees before the wave-function looks the same as it did originally, which I find fascinating.

Kinda confusing because as far as I can see, 'iso' and 'homo' are both ways of saying 'the same'. Edit: apparently 'iso' means 'equal', not 'same'. Isotope, isobar etc. etc...
 
Last edited:

IdleRich

IdleRich
"So it depends whether you're talking about groups or the Lie algebras describing the groups. Bit out of my depth here, to be honest."
But what depends on this is whether the mapping is one-to-one, not whether it is necessary for a mapping to be one-to-one to be an isomorphism.
 

Mr. Tea

Let's Talk About Ceps
But what depends on this is whether the mapping is one-to-one, not whether it is necessary for a mapping to be one-to-one to be an isomorphism.

Yeah sure, like I said, I got isomorphism mixed up with homomorphism. JUST GIVE ME A BREAK OK, MISTER MATHS FACE!
 

Mr. Tea

Let's Talk About Ceps
Who changed the channel to Open University when I was away?

I love the way there are hundreds of threads full of ultra-abstruse cultural theory but the moment someone mentions maths it's like 'OMG nerdfest!'.
 
Last edited:

Slothrop

Tight but Polite
Kinda confusing because as far as I can see, 'iso' and 'homo' are both ways of saying 'the same'. Edit: apparently 'iso' means 'equal', not 'same'. Isotope, isobar etc. etc...
Yeah, pretty much. A lot of the terminology is legacy stuff afaict.

If you get bored / have a chance, you might enjoy reading up on some category theory, which starts from the observation that whether you're dealing with Lie algebras, rings, function fields, topological spaces, sets or whatever, a lot of what you're doing can be talked about purely in terms of basic objects - and the group (or whatever) is a basic object in this case, rather than an element of the group - and the morphisms between them, and thus you can look at stuff in a much more clear and general way than always having to worry about the precise properties of a homomorphism of whatever baroque object you're looking at at the time.
 

don_quixote

Trent End
well i think you've gathered my problem. loved groups rings and modules and then suddenly they start throwing in iso and homos and my brain goes numb.
 

Mr. Tea

Let's Talk About Ceps
well i think you've gathered my problem. loved groups rings and modules and then suddenly they start throwing in iso and homos and my brain goes numb.

No need to be isophobic. :)

Cheers for the tip Slothrop, I may well get round to brushing up on some of this stuff, or learning it in the first place even, when I've got my thesis corrections done and sorted out a proper job.
 
Top