feature - note-math

logic-topic

logic

Introducing simple computer programming as prerequisite knowledge for set theory

calculus

real-number

Using a closed interval linear order chain more general than a nested sequence of closed intervals to prove the nested interval theorem, which will later be used to prove the compactness of bounded closed intervals in

limit-sequence

Using multivariable differentiation to find extrema and second derivatives as positive definiteness of quadratic forms to prove the AM-GM inequality
Based on the AM-GM inequality, discuss optimal multiplicative decomposition and provide motivation for the natural constant

Euclidean-space

Optimal interval decomposition of sets in . Used to prove the compactness of bounded closed intervals in , and to prove that a set in is connected <==> an interval
Defining compact using nets. Using Riemann sphere or stereographic projection method to inductively prove that a set in Euclidean is compact <==> bounded and closed
Some generalizations of Riemann rearrangement theorem in , used to illustrate that the limit definition of series other than absolute convergence cannot be simply given

Minkowski-spaces

Attempting to define the topology of Minkowski space without using Euclidean metric, but instead using the metric of , inductively using geodesic balls

polynomial

Defining higher order derivatives using differences

analytic-Euclidean

Attempting to define distance (not norm) in power series spaces, and this idea might be used to define an analytic version of Sobolev spaces
Attempting to define nets and topology for analytic function spaces

analytic-Minkowski

Attempting to define power series based on Minkowski topology. But only dealt with the simplest time-like future case

ordinary-differential-equation

Attempting to mimic , using differentiation and series methods to define solutions to ODEs, instead of using integration and series (Picard iteration). Although not proven, the two simplest cases, , or , have been verified
Motivation for the characteristic polynomial equation of the harmonic oscillator equation as a complex number
Vector fields as generators of diffeomorphisms
Lie algebra as generators of conjugate-action

volume

Based on general simplices and parallelepipeds (which are almost equivalent) and polyhedra, instead of being limited to a box of a single coordinate
Discuss the problem of defining the volume of low-dimensional simplices or boxes, whether to use linear forms or quadratic forms
Define the measure distance between sets and the measure of sets using symmetric difference, instead of using Carathéodory criterion
Discuss the difficulty of defining low-dimensional measurable sets, if there is no differentiable submanifold structure

integral

Define integrals using a method similar to symmetric difference used in defining measures, instead of using measurable functions and positive real-valued functions and
Discuss the possibility of defining integrals on manifolds using linear approximation of transformation functions, similar to the approximation technique used in the change of variable formula, instead of using partition of unity
Discuss the difficulty of defining integrals for low-dimensional regions by approximation limit, if there is no differentiable submanifold structure

divergence

First prove Stokes' theorem for simplices and boxes using the Mean Value Theorem for derivatives, similar to the approximation technique used in the Fundamental Theorem of Calculus
Discuss the possibility of proving Stokes' theorem using linear approximation of transformation functions, similar to the approximation technique used in the change of variable formula, instead of using partition of unity

limit-net, compact

Define topology and compact using nets

connected

A closed set is a set of limit points. Define connectedness or limit connectedness based on the intuition of decomposing a set of limit points. Connected components are the optimal decomposition of a set of limit points, similar to the optimal interval decomposition of
Discuss the possibility of defining homotopy classes as limit connected components of continuous function spaces

angle

Discuss the conceptual problem of defining angles in Euclidean

the geometric meanning of multiplication is in rotation

geometry
- metric-connection, geodesic-derivative
- Define the Levi-Civita connection using the geodesics of the metric, and define the Levi-Civita derivative using the derivatives of geodesic coordinates, instead of using abstract algebraic assumptions or abstract bundle theory. Although in applications, expressions in general coordinates still need to be calculated, not just geodesic coordinates.
- simplify some of calculations
- curvature-of-metric
- The motivation for defining curvature is to find flat metric coordinates. If flat metric coordinates do not exist, then use Einstein-metric as the minimum scalar curvature.
- Prove the symmetry of curvature in geodesic coordinates and simplify some of calculations.
- Use the curvature product and its conjugate to handle algebraic curvature, the orthogonal subspace decomposition of curvature, and define (trace-free) Ricci curvature, scalar curvature, and conformal curvature.
- Einstein-metric
- simplify some of calculations
- The variational non-relativistic limit of the Schwarzschild-metric action approximates the variational action of Newton's gravity.
- principal-bundle-connection
Guess the meaning of the concept of connection as an invariant δ isotropy-group & orbit decomposition at every point. This intuition is inspired by the specific triple related to specific symmetric spaces as fiber bundles.
field-theory
- simplify some of calculations
- scalar-field
- Imitate the harmonic oscillator of ODE, and define the solution of the Klein-Gordon equation and its plane wave form by using . The characteristic polynomial quadratic equation of ODE corresponds to the quadratic form equation of the metric of .
- The integral of the measure of the hyperbolic space where the momentum of the plane wave is located is used as the unitary representation of the Poincare group .
- scalar-field-non-relativity
  - The non-relativistic limit approximation of the action variation of the relativistic scalar-field (Klein-Gordon) to the non-relativistic scalar-field (Schrodinger).
  - The time component of the Noether conserved quantity of the gauge transformation as the particle number density or probability density or charge density in the Schrodinger equation
  - Motivation for quantization, corresponding to the classical point particle equations with expectation values
  - Motivation for operators in quantum mechanics and their Lie brackets: infinitesimal actions from the Galileo group
  - Motivation for eigenvalues and eigenstates: energy expectation of extreme values or stable via first-order differentials vanishing
- projective-lightcone, spacetime-momentum-spinor-representation, spinor-field
- Based on the projective light cone's spacelike cross-section representation, complex division, complex projective space , to handle the spinor representation of the Lorentz group and spacetime (momentum or tangent space), and the double Hermitian type symmetric tensors of and
- Discuss the possibility of the source of the spinor-form square root of the metric and Lie algebra of , coming from Hermitian type double tensors, from the quotient in the symmetry group of complex projective space
- The possible conceptual meaning of the action and Lagrangian of a spinor field
- Discuss the possible motivation for gauge theory as part of the redundancy of elevating complex projective space to
- Dirac eq give square root of harmonic oscillator
- electromagnetic
The motivating problem for defining the curvature of a type metric manifold, the motivating definition of connection curvature can be seen as finding flat connection coordinates. When flat connection coordinates do not exist, the minimum curvature based on the metric-volume-form is chosen instead
- Laplacian-of-tensor-field
Inspired by the Hodge Laplacian, an adjoint part might need to be added to the action
- harmonic-oscillator-quantization Motivation of ladder operators: The special potential of the harmonic oscillator makes the Hamiltonian operator, position operator, and momentum operator have a Lie bracket with good properties, similar to . The complexified eigenvalue technique can be used to obtain the eigenvalue operator of , and the uniformly spaced eigenvalues of can be obtained.