Type to see ranked matches. Use the up and down arrow keys to choose a result, then press Enter to open it.
Preparing the interactive atlas…
Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.
Select a concept
Select any concept, construction junction, or annotated relation by pointer, touch, search, or keyboard.
Construction junctions are diamonds. They show where multiple structures must coexist on the same carrier and satisfy compatibility conditions.
Move selected concept
Single-pointer and keyboard alternatives to dragging. Each activation moves the selected concept one step.
A nonzero left-invariant regular Borel measure on a locally compact Hausdorff group, unique up to positive scale; right Haar measure is analogous, and a left Haar measure is also right-invariant precisely for unimodular groups.
No alternate terminology is currently authored for this record.
Concept type
Invariant measure
Carrier(s)
locally compact Hausdorff group G
Borel σ-algebra
Data
nonzero regular Borel measure μ
Axioms / constraints
left invariance
finite measure on compact sets
Canonically induces
integration invariant under left translation
Notes
Left Haar measure is unique up to positive scale. Right Haar measure is analogous; a left Haar measure is also right-invariant precisely when the group is unimodular.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID
haar_to_gauge
Relation type
Mathematical formulation mathematical-formulation
Direction
source → target
Endpoint roles
source: Mathematically formulates; target: Mathematically formulated using
Authored annotation
group integration
Authored explanation
Invariant integration over compact groups underlies group averaging, lattice gauge theory, and representation orthogonality.
How to interpret this relation type
A mathematical concept supplies part of the formal language, state space, representation, or analytic machinery used by a scientific or mathematical-physics concept. The source is the mathematical predecessor; this does not claim that physical content follows from mathematics alone.
Relation sources
Wikipedia — Gauge theory — Gauge theory · encyclopedic reference · source ID wp-physics-gauge_field_theory
nLab — gauge theory — gauge theory · mathematical physics reference · source ID nlab-physics-gauge_field_theory