Such functions are applied in most sciences including physics.
Example
Set for every positive integer and every real number Then the function defined by the formula
takes values that lie in the infinite-dimensional vector space (or ) of real-valued sequences. For example,
As a number of different topologies can be defined on the space to talk about the derivative of it is first necessary to specify a topology on or the concept of a limit in
Moreover, for any set there exist infinite-dimensional vector spaces having the (Hamel) dimension of the cardinality of (for example, the space of functions with finitely-many nonzero elements, where is the desired field of scalars). Furthermore, the argument could lie in any set instead of the set of real numbers.
Integral and derivative
Most theorems on
absolutely continuous
functions need not equal the integrals of their (a.e.) derivatives (unless, for example, is a Hilbert space); see Radon–Nikodym theorem
If is a function of real numbers with values in a Hilbert space then the derivative of at a point can be defined as in the finite-dimensional case:
Most results of the finite-dimensional case also hold in the infinite-dimensional case too, with some modifications. Differentiation can also be defined to functions of several variables (for example, or even where is an infinite-dimensional vector space).
If is a Hilbert space then any derivative (and any other limit) can be computed componentwise: if
(that is, where is an orthonormal basis of the space ), and exists, then
However, the existence of a componentwise derivative does not guarantee the existence of a derivative, as componentwise convergence in a Hilbert space does not guarantee convergence with respect to the actual topology of the Hilbert space.
Most of the above hold for other topological vector spaces too. However, not as many classical results hold in the
suitable Banach space
need not have a derivative anywhere. Moreover, in most Banach spaces setting there are no orthonormal bases.
If is an interval contained in the domain of a curve that is valued in a topological vector space then the vector is called the chord of determined by .[1]
If is another interval in its domain then the two chords are said to be non−overlapping chords if and have at most one end−point in common.[1]
Intuitively, two non−overlapping chords of a curve valued in an
orthogonal vectors if the curve makes a right angle
turn somewhere along its path between its starting point and its ending point.
If every pair of non−overlapping chords are orthogonal then such a right turn happens at every point of the curve; such a curve can not be
A crinkled arc is an injective continuous curve with the property that any two non−overlapping chords are orthogonal vectors.
An example of a crinkled arc in the Hilbert space is:[2]
The measurability of can be defined by a number of ways, most important of which are
weak measurability
.
Integrals
The most important integrals of are called Bochner integral (when is a Banach space) and Pettis integral (when is a topological vector space). Both these integrals commute with
linear functionals
. Also spaces have been defined for such functions.