Special relativity Updated 2025-07-16
This was first best observed by the Michelson-Morley experiment, which uses the movement of the Earth at different times of the year to try and detect differences in the speed of light.
This leads leads to the following conclusions:
All of this goes of course completely against our daily Physics intuition.
The "special" in the name refers to the fact that it is a superset of general relativity, which also explains gravity in a single framework.
Since time and space get all messed up together, you have to be very careful to understand what it means to say "I observed this to happen over there at that time", otherwise you will go crazy. A good way to think about is this:
  • use Einstein synchronization to setup a bunch of clocks for every position in your frame of reference
  • on every point of space, you put a little detector which records events and the time of the event
  • each detector can only detect events locally, i.e. events that happen very close to the detector
  • then, after the event, the detectors can send a signal to you, who is sitting at the origin, telling you what they detected
General relativity Updated 2025-07-16
Unifies both special relativity and gravity.
Not compatible with the Standard Model, and the 2020 unification attempts are called theory of everything.
One of the main motivations for it was likely having forces not be instantaneous, but rather mediated by field to maintain the principle of locality, just like electromagnetism did earlier.
Tesseract Updated 2025-07-16
Emergence Updated 2025-07-16
Basically the opposite of reductionism.
It good to think about how Euclid's postulates look like in the real projective plane:
Unlike the real projective line which is homotopic to the circle, the real projective plane is not homotopic to the sphere.
The topological difference bewteen the sphere and the real projective space is that for the sphere all those points in the x-y circle are identified to a single point.
One more generalized argument of this is the classification of closed surfaces, in which the real projective plane is a sphere with a hole cut and one Möbius strip glued in.
To see that the real projective plane is not simply connected space, considering the lines through origin model of the real projective plane, take a loop that starts at and moves along the great circle ends at .
Note that both of those points are the same, so we have a loop.
Now try to shrink it to a point.
There's just no way!
Visualizing 4D Updated 2025-07-16
Simulate it. Just simulate it.
Video 1.
4D Toys: a box of four-dimensional toys by Miegakure (2017)
Source.
Catalysis Updated 2025-07-16
Subquotient Updated 2025-07-16
That normal subgroup does not have have to be a normal subgroup of G.
As an overkill example, the happy family are subquotients of the monster group, but the monster group is simple.

There are unlisted articles, also show them or only show them.