Theorems · Inductive type · dynamical systems

Flow

(τ : Type u_1) → (α : Type u_2) → [TopologicalSpace τ] → [TopologicalSpace α] → [AddZero τ] → Type (max u_1 u_2)

A flow on a topological space α by an additive topological monoid τ is a continuous monoid action of τ on α.

Defined in

Mathlib.Dynamics.Flow

Cited by

46 results in Mathlib

Foundations

Depth 1 from the axioms · uses no axioms

Assumes

TopologicalSpaceTopologicalSpaceAddZero