singular cohomology 奇异上同调群
For an abelian coefficient group A, the cohomology of Hom(C_*(X;Z),A), with coboundary given by precomposing a cochain with the singular boundary.
No matching entries. Clear filters or try another keyword.
For an abelian coefficient group A, the cohomology of Hom(C_*(X;Z),A), with coboundary given by precomposing a cochain with the singular boundary.
The homology of the free chain complex generated by continuous standard simplices in X, using alternating face boundaries; coefficients are integers unless stated otherwise.
A continuous map from the standard n-simplex with ordered vertices into a topological space, for some nonnegative integer n.
A category whose objects and all morphisms form sets in the chosen size convention.
A smooth map between smooth manifolds whose differential is injective at every point of its domain.
A Hausdorff, second countable space locally homeomorphic to open subsets of a fixed Euclidean space, together with a smooth structure represented by charts whose transition maps are infinitely differentiable; boundary…
A smooth map between smooth manifolds whose differential is surjective at every point of the domain; surjectivity of the map itself is not required.
A smooth projection over a smooth manifold with finite-dimensional real vector spaces of fixed rank as fibers and local product trivializations that are linear on each fiber; the changes between trivializations are…
A smooth section of the tangent bundle of a smooth manifold: it assigns to each point a tangent vector at that point, with smooth coefficient functions in every coordinate chart.
For a distribution u, its smooth wavefront set consists of pairs (x,xi) with xi nonzero for which no smooth compactly supported cutoff equal to one near x has a Fourier transform of its product with u decaying faster…
For open Omega in R^n, an integer k>=0, and 1<=p<=infinity, W^{k,p}(Omega) consists of Lp equivalence classes whose distributional derivatives of every order at most k are represented by Lp functions.
For a bounded smooth domain Omega and 1 <= p < infinity, the first-order Sobolev trace is the bounded linear map from W^{1,p}(Omega) to L^p(partial Omega, dS) extending boundary restriction of smooth functions on the…
A spanning tree of a nonempty finite graph G is a subgraph with the entire vertex set of G that is a tree.
In an abelian category, a sequence of differential objects $(E_r,d_r)$ with $d_r^2=0$ and specified isomorphisms $H(E_r,d_r)\cong E_{r+1}$; the cohomological bigraded version has differential of bidegree $(r,1-r)$.
For a compact self-adjoint operator on a real or complex separable Hilbert space, an orthonormal basis of eigenvectors exists; nonzero eigenvalues are real with finite multiplicity and, if infinitely many, tend to zero…
For $f\in K[x]$, an extension generated over $K$ by all roots of $f$ in which $f$ splits into linear factors.
The subgroup $G_x=\{g\in G:gx=x\}$ fixing a specified point.
For a based CW complex X, the colimit of pi_{k+r}(Sigma^r X) under suspension homomorphisms, with r large enough to use group-valued degrees.
A process $B_t$ starting at zero, with almost surely continuous paths and independent increments on disjoint intervals, such that $B_t-B_s\sim N(0,t-s)$ for $0\le s<t$.
In the Brownian Itô setting, an equation $dX_t=b(X_t)dt+\sigma(X_t)dB_t$ means an adapted continuous process satisfies $X_t=X_0+\int_0^t b(X_s)ds+\int_0^t\sigma(X_s)dB_s$, with the integrals well defined.
An indexed family $(X_t)_{t\in T}$ of random variables or random elements on one probability space, with a specified common state space.
For an oriented smooth n-manifold with boundary, n at least one, and a smooth compactly supported (n−1)-form ω, the integral of dω over the manifold equals the integral of the pullback of ω to its boundary, with…
For a filtration $(\mathcal F_t)$, a random time $\tau$ valued in $[0,\infty]$ is a stopping time when $\{\tau\le t\}\in\mathcal F_t$ for every $t$.
The principle that proving $P(n)$ from all $P(k)$ with $k<n$, for each $n\in\mathbb N$, proves $P$ everywhere.
A probability-preserving map is strongly mixing if $\mu(A\cap T^{-n}B)\to\mu(A)\mu(B)$ for every fixed pair of measurable events $A,B$.