Have you ever seen a theorem that relies on lebesgue integrals in physics? So I guess that functional analysis things maybe require it for completeness? en.wikipedia.org/wiki/Riesz%E2%80%93Fischer_theorem
@0celo7 Trying to whittle down the choices. Theoretical or mathematical physics research if possible; this year and the next are the times to work my ass off and do all side projects I can manage. But I have a decent background in programming.
@NeuroFuzzy I'm really confused by that course. The recommended text is definitely undergraduate, and the notes aren't particularly advanced either. However, the reserved books span all difficulty ranges. You have the introductory Zee and Hartle, the intermediate Carroll and Weinberg, the advanced MTW and Wald and then the really advanced Straumann and Hawking & Ellis.
My main goal is to magnetize and demagnetize a mumetal shield. Till now I am using a Helmholtz coils setup and I can generate 10 mT applying 2 A DC. I am using a DVR425 fluxgate and a hall probe sensor to measure the magnetic fields. To demostrate that my mumetal shield is being magnetized I am c...
So I was trying to update this question with a link to another well asked question here - I tried twice, but each time my answer did not appear- I am wondering if it is being checked because I asked the original question and already posted one answer...
...the idea was to post good examples of h...
I'm in the situation of having a long answer but no question.
regarding this question
I can discard the answer so nobody has any benefit from it and the time I spent writing it is deemed wasted.
Or I could post that answer somehow.
I did the later, asking for verification of my answer.
It got ...
@Danu Heavy artillery solution: That's equivalent to asking whether the representation of the $n\times n$-antisym. matrices upon $\mathbb{F}^n$ is irreducible (Schur's lemma). Since the antisymmetric matrices are $\mathfrak{o}(n)$, this in turn is the same as asking whether the rep of $\mathrm{O}(n)$ is irreducible, which is true (the fundamental representation is irreducible), so all matrices that commute with all antisymm. matrices are multiples of the identity
Meanwhile, I'm stuck at showing that $\frac{\lvert x -y \rvert}{1 + \lvert x-y \rvert}$ fulfills the triangle inequality. It's supposed to be obvious, but apparently I suck at inequalities :D
@ACuriousJim Yeeees. And how do you get $\frac{\lvert x-y\rvert}{1+\lvert x-y \rvert} \leq \frac{\lvert x-z \rvert}{1+\lvert x-z \rvert} + \frac{\lvert z-y\rvert}{1+\lvert z-y \rvert} $ from that?
@Danu Ehhh...that's surprisingly non-obvious, the only way I can find is taking the character of the representation and showing that its product with itself is $1$, which is ugly for high $n$...
@Danu Reducibility means there is an invariant subspace, and transitive action on the unit sphere means that every 1D subspace is transformed into every other 1D subspace by some element of the group, so there cannot be an invariant subspace that's not the whole space.
@TheDarkSide I don't think it's a great question, but I feel it shows a misconception on how Euler-Lagrange equations relate to the action more than anything else. (To the limited extent that I can discern anything in there, that is.) Hence the Leave Open vote, which doesn't have particularly grave consequences in any case.
@ACuriousMind I meant more like, why does this correspond to the fundamental representation. I know the idea of transitivity $\Leftrightarrow$ irreducibility
@EmilioPisanty I think the guy is probably rushing into "cool" topics without doing the necessary "pedestrian" stuff first
@Danu Uhhh...because the fundamental rep is the one on $\mathbb{R}^n$, where $S^{n-1}$ then is the unit sphere? I think I'm misunderstanding your question^^
lol...I can get bonus points on an assignment if I can provide a less laughable term than "snake-able diagram" for a diagram to which the snake lemma can be applied. Suggestions? ;)
I have a friend who has never owned a Mac. He has just built a "hackintosh" by installing VMWare on his PC running Windows, and downloading a pirated, hacked copy of Mac OS X Yosemite in a portable VMWare virtual machine volume from somewhere online.
He claims to be astonished and unbelieving wh...
@ACuriousMind What does it mean when people say that something is a theory of everything? Let's be concrete and assume superstring theory is a ToE. Does a ToE have to be able to derive everything within its framework or does it get some previously known facts? i.e. does one have to be able to derive Lorentz symmetry or Born rule from the ToE, or is one allowed such facts to count as a part of the ToE itself?
For instance, as far as I can tell string theory needs basic quantum mechanics and analytical mechanics to be true for basic results to be obtained. Must we demand from superstring theory that we can derive e.g. the canonical equations?
@0celo7 I believe there is no "one" universal meaning of ToE, but I think the minimum requirement is: Reproduce all (tested) predictions of QM and GR, and make predictions for all energy scales. Ideally should require minimal or even no experimental input to be able to make predictions (where the exact definition of what constitutes experimental input is probably also not universal).
@0celo7 I sometimes get the feeling that user##### whoever (s)he might be, is trying to launch a Hilberteque attempt to set all of relativity on a solid and rigorous foundation. Other times that (s)he is just suffering from a bad case of OCD.
And I don't know enough relativity to sort the two possibilities out.
Anyone knowledgeable what to chime in with an opinion?
Not that Gödel's theorem takes anything away from what Hilbert accomplished in laying firm foundations for mathematics, but it sure derailed the Program (tm).
@dmckee agreed actually godel sort of sabotaged one of hilberts main aims/ goals, the systematization of math. by proving it impossible. but there were different aspects of the Program so to speak. my favorite is hilberts 10th problem that took ~¾ of the 20th century to solve. (again proved undecidable...)
:21359314They can change their name to have that form. We might, also have merged accounts for them, but I would have thought the dominate account set both number and name.
I've certainly seen many that do correspond, or if they have another account on another SE site, the number corresponds to that userid, but for some it doesn't correspond to any of the linked accounts