When viewed as matrices, it is the group of all matrices that preserve the dot product, i.e.:This implies that it also preserves important geometric notions such as norm (intuitively: distance between two points) and angles.

This is perhaps the best "default definition".

Let's show that this definition is equivalent to the orthogonal group is the group of all matrices that preserve the dot product.

Note that:and for that to be true for all possible $x$ and $y$ then we must have:i.e. the matrix inverse is equal to the transpose.

Conversely, if:is true, then

These matricese are called the orthogonal matrices.

TODO is there any more intuitive way to think about this?

We can reach it by taking the rotations in three directions, e.g. a rotation around the z axis:then we derive and evaluate at 0:$L_z$ therefore represents the infinitesimal rotation.

Note that the exponential map reverses this and gives a finite rotation around the Z axis back from the infinitesimal generator $L_z$:

Repeating the same process for the other directions gives:We have now found 3 linearly independent elements of the Lie algebra, and since $SO(3)$ has dimension 3, we are done.

Ciro Santilli dislikes the fact that they take themselves too seriously. Ciro prefers the jokes and tech approach.

Generally means that he form of the equation $f(x)$ does not change if we transform $x$.

This is generally what we want from the laws of physics.

E.g. a Galilean transformation generally changes the exact values of coordinates, but not the form of the laws of physics themselves.

Lorentz covariance is the main context under which the word "covariant" appears, because we really don't want the form of the equations to change under Lorentz transforms, and "covariance" is often used as a synonym of "Lorentz covariance".

TODO some sources distinguish "invariant" from "covariant": invariant vs covariant.

Some sources distinguish "invariant" from "covariant" such that under some transformation (typically Lie group):TODO examples.

Bibliography:

Subgroup of the Poincaré group without translations. Therefore, in those, the spacetime origin is always fixed.

Or in other words, it is as if two observers had their space and time origins at the exact same place. However, their space axes may be rotated, and one may be at a relative speed to the other to create a Lorentz boost. Note however that if they are at relative speeds to one another, then their axes will immediately stop being at the same location in the next moment of time, so things are only valid infinitesimally in that case.

This group is made up of matrix multiplication alone, no need to add the offset vector: space rotations and Lorentz boost only spin around and bend things around the origin.

One definition: set of all 4x4 matrices that keep the Minkowski inner product, mentioned at Physics from Symmetry by Jakob Schwichtenberg (2015) page 63. This then implies:

The frequency range of Wi-Fi, which falls in the microwave range, is likely chosen to allow faster data transfer than say, FM broadcasting, while still being relatively transparent to walls (though not as much).

This is the easiest one to do iteratively: