analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
symmetric monoidal (∞,1)-category of spectra
In analysis a series is a formal precursor to a various notions of a sum of an infinite sequence of numbers.
An (ordinary) series whose members are the elements in a given additive group or semigroup is an ordered pair of a sequence and a sequence of its partial sums .
For any group or semigroup , we can inductively define the finite sum -action
as
for all and , such that currying the action results in the infinite series operator
over the function -module .
In a cartesian closed category , let be an additive magma object, let be a natural numbers object in , and let be an infinite sequence object of elements in . Then there exists an infinite sequence object called the left partial sum infinite sequence object of inductively defined by and , and an infinite sequence object called the right partial sum infinite sequence object of inductively defined by and . The element is called the left -th partial sum of the infinite sequence , and the element is called the right -th partial sum of the infinite sequence . A left series object is an infinite sequence object with its left partial sum infinite sequence object, and a right series object is an infinite sequence object with its right partial sum infinite sequence object. If the magma object is commutative and associative, then the left and right partial sum infinite sequence objects of are equal and just called a partial sum infinite sequence object of , where the element is the -th partial sum. Then s series object is an infinite sequence object with its partial sum infinite sequence object,
The most straightforward notion of the sum of a series is the limit of its sequence of partial sums, if this sequence converges, relative to some topology on the space where the members of the sequence belong to. A series that does not converge in this sense is called divergent; sometimes these can also be “summed” by fancier techniques.
The formal e, , where
Last revised on January 4, 2023 at 17:27:15. See the history of this page for a list of all contributions to it.