abelian group 交换群
A group whose operation satisfies $ab=ba$ for every pair of elements.
No matching entries. Clear filters or try another keyword.
A group whose operation satisfies $ab=ba$ for every pair of elements.
A real or complex numerical series sum a_n is absolutely convergent when the nonnegative series sum |a_n| has a finite sum.
Relative to a filtration $(\mathcal F_t)$, a process $(X_t)$ is adapted when $X_t$ is $\mathcal F_t$-measurable at every time $t$.
For finitely many pairwise disjoint finite sets, the cardinality of their union equals the sum of their cardinalities.
Additive combinatorics studies arithmetic configurations, additive growth, and structural inverse questions for finite sets, especially in integers and abelian groups.
For a number field $K$, the ring of tuples $(x_v)\in\prod_v K_v$ such that $x_v\in\mathcal O_v$ at all but finitely many finite places, with the restricted product topology.
Functors F:C→D and G:D→C together with bijections Hom_D(FX,Y)≅Hom_C(X,GY) natural in X and Y.
An element $\alpha$ of an extension $L/K$ annihilated by a nonzero polynomial in $K[x]$.
A complex number satisfying a monic polynomial with coefficients in $\mathbb Z$.
A smooth real bundle endomorphism of the tangent bundle of a smooth manifold whose square is minus the identity on every tangent space.
A property holds mu-almost everywhere on X when there is a measurable null set N such that the property holds at every point of X minus N.
On one probability space, $X_n\to X$ almost surely if $P(\{\omega:\lim_nX_n(\omega)=X(\omega)\})=1$.
For a homeomorphism $T$, $\alpha(x)$ is the set of limits of $T^{-n_k}x$ along sequences $n_k\to\infty$.
For a module $M$ over a commutative ring $R$, the ideal $\{r:rM=0\}$.
An antiderivative of f on an open real interval I is a differentiable function F on I with F'(x)=f(x) at every point of I.
For a meromorphic f near the closure of a bounded domain with positively oriented piecewise smooth boundary, if f has neither zeros nor poles on the boundary, (2 pi i)^(-1) integral f'/f equals the number of interior…
A first-order formula obtained by applying a relation symbol to terms, or by equating two terms when equality is present.
For a matching M in a finite bipartite graph, an augmenting path is a path of positive length whose edges alternate outside and inside M and whose two endpoints are unmatched; switching membership along it increases…
A Banach space is a real or complex normed vector space in which every Cauchy sequence for the norm distance converges to an element of the space.
A family of open subsets such that every open subset is a union of members of that family.
A linearly independent family spanning the vector space by finite linear combinations.
A distribution supported on $\{0,1\}$ with $P(X=1)=p$ and $P(X=0)=1-p$, where $0\le p\le1$.
A function that is both injective and surjective, equivalently one admitting a two-sided inverse.
For integers n ≥ 0 and 0 ≤ k ≤ n, the binomial coefficient counts the k-element subsets of an n-element set and equals n!/(k!(n−k)!). It is defined as zero for integer k outside that range.
For an integer $n\ge0$ and $0\le p\le1$, the law of the sum of $n$ independent Bernoulli$(p)$ variables; its mass is $\binom nk p^k(1-p)^{n-k}$ for $0\le k\le n$.