Differentiable vector-valued functions from Euclidean space: Difference between revisions

Revision as of 19:24, 8 July 2021

Revision as of 20:46, 8 July 2021

Line 1:

In the mathematical discipline of [[functional analysis]], '''differentiable vector-valued functions from Euclidean space''' are [[differentiable]] [[topological vector space|TVS]]-valued functions whose [[Domain of a function|domains]] are subset of [[Dimension (vector space)|finite-dimensional]] [[Euclidean space]].

It is possible to generalize the notion of [[Derivative (mathematics)|derivative]] to functions whose ___domain and codomain are subsets of arbitrary [[topological vector space]]s (TVSs) in multiple ways.

But when the ___domain of a TVS-valued function is a subset of a finite-dimensional [[Euclidean space]] then many of these notions become [[logically equivalent]] resulting in a much more limited number of generalizations of the derivative and moreoveradditionally, derivativesdifferentiability thatis arealso more [[well-behaved]] compared to the more general case.

This article presents the theory of <math>k</math>-times continuously differentiable functions on an open subset <math>\Omega</math> of Euclidean space <math>\R^n</math> (<math>1 \leq n < \infty</math>), which is an important special case of [[Differentiation (mathematics)|differentiation]] between arbitrary TVSs.

This importance stems partially from the fact that every finite-dimensional vector subspace of a Hausdorff topological vector space is [[TVS isomorphism|TVS isomorphic]] to Euclidean space <math>\R^n</math> so that, for example, this special case can be applied to any function whose ___domain is an arbitrary Hausdorff TVS by [[Restriction of a function|restricting it]] to finite-dimensional vector subspaces.