Skip to content
Journals Garden

Subsequence (部分列)

  • Subsequence (部分列) #Card
    • A sequence $\psi \in X^K$ is a subsequence of $\varphi \in X^N$ (where $N, K$ are infinite countable sets) if there exists an injection $\gamma \in N^K$ such that $\psi = \varphi \circ \gamma$ and $\Gamma_\varphi \subset \Gamma_\psi$.

Back

Section titled “Back”

A sequence $\psi \in X^K$ is a subsequence of $\varphi \in X^N$ (where $N, K$ are infinite countable sets) if there exists an injection $\gamma \in N^K$ such that $\psi = \varphi \circ \gamma$ and $\Gamma_\varphi \subset \Gamma_\psi$.

Lean

Section titled “Lean”

部分列：StrictMono φ による a ∘ φ