PontryaginDual — Mathlib

English

For any topological group A, the Pontryagin dual ĤA is the group of continuous homomorphisms from A to the circle group.

Русский

Для любой топологической группы A дуал фон Понтрягиана — это группа непрерывных гомоморфизмов A в циклическую группу круга.

LaTeX

$$$\\widehat{A} := \\{ \\chi: A \\to \\mathbb{T} \\mid \\chi \\text{ is a continuous group homomorphism} \\}$$$

Lean4

/-- The Pontryagin dual of `A` is the group of continuous homomorphism `A → Circle`. -/
def PontryaginDual :=
  A →ₜ* Circle
deriving TopologicalSpace

Похожие утверждения