Skip to content Skip to navigation

Connexions

You are here: Home » Content » Function spaces: notion and notations

Navigation

Content Actions
  • Download module PDF
  • Add to ...
    Add the module to:
    • My Favorites
    • A lens
    • An external social bookmarking service
    • My Favorites (What is 'My Favorites'?)
      'My Favorites' is a special kind of lens which you can use to bookmark modules and collections directly in Connexions. 'My Favorites' can only be seen by you, and collections saved in 'My Favorites' can remember the last module you were on. You need a Connexions account to use 'My Favorites'.
    • A lens (What is a lens?)

      Definition of a lens

      Lenses

      A lens is a custom view of Connexions content. You can think of it as a fancy kind of list that will let you see Connexions through the eyes of organizations and people you trust.

      What is in a lens?

      Lens makers point to Connexions materials (modules and collections), creating a guide that includes their own comments and descriptive tags about the content.

      Who can create a lens?

      Any individual Connexions member, a community, or a respected organization.

    • External bookmarks
  • E-mail the author

Recently Viewed

This feature requires Javascript to be enabled.

Function spaces: notion and notations

Module by: Veronique Delouille

A Hilbert space is a complete normed space whose norm is indexed by an inner (or scalar) product.

Two disjoint subspaces AA and BB of a space SS form a direct sum decomposition of SS if every element of SS can be written uniquely as a sum of an element of AA and an element of BB. The notation S=A⊕BS=A⊕B is then used.

A measurable function ff belongs to the Lebesgue space Lp(R),1≤p<∞Lp(R),1≤p<∞ if

f p = ∫ - ∞ + ∞ f ( x ) p 1 / p < ∞ . f p = ∫ - ∞ + ∞ f ( x ) p 1 / p < ∞ . (1)

An example of a Hilbert space is the Lebesgue space L2(R)L2(R) of measurable and square integrable functions. Indeed, the norm ·2·2 is induced by the scalar product

f , g = ∫ f ( x ) g ( x ) ¯ d x , f , g = ∫ f ( x ) g ( x ) ¯ d x , (2)

where g(x)¯g(x)¯ denotes the complex conjugate of g(x)g(x). Two functions are said to be orthogonal in L2(R)L2(R) if their inner product is zero.

The Lebesgue measure can be replaced by a more general measure μμ, leading to the weighted space L2(μ)L2(μ), which has as inner product

f , g d μ = ∫ f ( x ) g ( x ) ¯ d μ ( x ) f , g d μ = ∫ f ( x ) g ( x ) ¯ d μ ( x ) (3)

and which contains the functions that have a finite norm fdμ:=f,fdμ<∞fdμ:=f,fdμ<∞.

A countable subset {fk}{fk} of functions belonging to a Hilbert space is a Riesz basis if every element ff of the space can be written uniquely as f=∑kckfkf=∑kckfk, and if positive constants AA and BB exist such that

A f 2 2 ≤ ∑ k c k 2 ≤ B f 2 2 . A f 2 2 ≤ ∑ k c k 2 ≤ B f 2 2 . (4)

A Riesz basis is an orthogonal basis if the fkfk are mutually orthogonal. In this case, A=B=1A=B=1.

References

    Comments, questions, feedback, criticisms?

    Send feedback