Ciro Santilli @cirosantilli 34

The "0-width" pulse distribution that integrates to a step.

There's not way to describe it as a classical function, making it the most important example of a distribution.

Applications:

Generalize function to allow adding some useful things which people wanted to be classical functions but which are not,

It therefore requires you to redefine and reprove all of calculus.

For this reason, most people are tempted to assume that all the hand wavy intuitive arguments undergrad teachers give are true and just move on with life. And they generally are.

One notable example where distributions pop up are the eigenvectors of the position operator in quantum mechanics, which are given by Dirac delta functions, which is most commonly rigorously defined in terms of distribution.

Distributions are also defined in a way that allows you to do calculus on them. Notably, you can define a derivative, and the derivative of the Heaviside step function is the Dirac delta function.

If $C$ is the change of basis matrix, then the matrix representation of a bilinear form $M$ that looked like:then the matrix in the new basis is:Sylvester's law of inertia then tells us that the number of positive, negative and 0 eigenvalues of both of those matrices is the same.

Proof: the value of a given bilinear form cannot change due to a change of basis, since the bilinear form is just a function, and does not depend on the choice of basis. The only thing that change is the matrix representation of the form. Therefore, we must have:and in the new basis:and so since:

Related:

As per en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965#Properties, unlike the Direct product, the semidirect product of two goups is neither unique, nor does it always exist, and there is no known algorithmic way way to tell if one exists or not.

This is because reaching the "output" of the semidirect produt of two groups requires extra non-obvious information that might not exist. This is because the semi-direct product is based on the product of group subsets. So you start with two small and completely independent groups, and it is not obvious how to join them up, i.e. how to define the group operation of the product group that is compatible with that of the two smaller input groups. Contrast this with the Direct product, where the composition is simple: just use the group operation of each group on either side.

Product of group subsets

So in other words, it is not a function like the Direct product. The semidiret product is therefore more like a property of three groups.

The semidirect product is more general than the direct product of groups when thinking about the group extension problem, because with the direct product of groups, both subgroups of the larger group are necessarily also normal (trivial projection group homomorphism on either side), while for the semidirect product, only one of them does.

Conversely, en.wikipedia.org/w/index.php?title=Semidirect_product&oldid=1040813965 explains that if $G=N⋊H$, and besides the implied requirement that N is normal, H is also normal, then $G=N\times H$.

Smallest example: $D_6=C_3⋊C_2$ where $D$ is a dihedral group and $C$ are cyclic groups. $C_3$ (the rotation) is a normal subgroup of $D_6$, but $C_2$ (the flip) is not.

Note that with the Direct product instead we get $C_6$ and not $D_6$, i.e. $C_3\times C_2=C_6$ as per the direct product of two cyclic groups of coprime order is another cyclic group.

TODO:

Bibliography: math.stackexchange.com/questions/1726939/is-this-intuition-for-the-semidirect-product-of-groups-correct