Continuous linear extension

Continuous linear extension

In functional analysis, it is often convenient to define a linear transformation on a complete, normed vector space X by first defining a linear transformation \mathsf{T} on a dense subset of X and then extending \mathsf{T} to the whole space via the theorem below. The resulting extension remains linear and bounded (thus continuous).

This procedure is known as continuous linear extension.

Contents

Theorem

Every bounded linear transformation \mathsf{T} from a normed vector space X to a complete, normed vector space Y can be uniquely extended to a bounded linear transformation \tilde{\mathsf{T}} from the completion of X to Y. In addition, the operator norm of \mathsf{T} is c iff the norm of \tilde{\mathsf{T}} is c.

This theorem is sometimes called the B L T theorem, where B L T stands for bounded linear transformation.

Application

Consider, for instance, the definition of the Riemann integral. A step function on a closed interval [a,b] is a function of the form: f\equiv r_1 \mathit{1}_{[a,x_1)}+r_2 \mathit{1}_{[x_1,x_2)} + \cdots + r_n \mathit{1}_{[x_{n-1},b]} where r_1, \ldots, r_n are real numbers, a=x_0<x_1<\ldots <x_{n-1}<x_n=b, and 1S denotes the indicator function of the set S. The space of all step functions on [a,b], normed by the L^\infty norm (see Lp space), is a normed vector space which we denote by \mathcal{S}. Define the integral of a step function by: \mathsf{I} \left(\sum_{i=1}^n r_i \mathit{1}_{ [x_{i-1},x_i)}\right) = \sum_{i=1}^n r_i (x_i-x_{i-1}). \mathsf{I} as a function is a bounded linear transformation from \mathcal{S} into \mathbb{R}.[1]

Let \mathcal{PC} denote the space of bounded, piecewise continuous functions on [a,b] that are continuous from the right, along with the L^\infty norm. The space \mathcal{S} is dense in \mathcal{PC}, so we can apply the B.L.T. theorem to extend the linear transformation \mathsf{I} to a bounded linear transformation \tilde{\mathsf{I}} from \mathcal{PC} to \mathbb{R}. This defines the Riemann integral of all functions in \mathcal{PC}; for every f\in \mathcal{PC}, \int_a^b f(x)dx=\tilde{\mathsf{I}}(f).

The Hahn–Banach theorem

The above theorem can be used to extend a bounded linear transformation T:S\rightarrow Y to a bounded linear transformation from \bar{S}=X to Y, if S is dense in X. If S is not dense in X, then the Hahn–Banach theorem may sometimes be used to show that an extension exists. However, the extension may not be unique.

References

  • Reed, Michael; Barry Simon (1980). Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis. San Diego: Academic Press. ISBN 0125850506. 

Footnotes

  1. ^ Here, \mathbb{R} is also a normed vector space; \mathbb{R} is a vector space because it satisfies all of the vector space axioms and is normed by the absolute value function.

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… …   Wikipedia

  • Linear interpolation — is a method of curve fitting using linear polynomials. It is heavily employed in mathematics (particularly numerical analysis), and numerous applications including computer graphics. It is a simple form of interpolation. Lerp is a quasi acronym… …   Wikipedia

  • Linear regression — Example of simple linear regression, which has one independent variable In statistics, linear regression is an approach to modeling the relationship between a scalar variable y and one or more explanatory variables denoted X. The case of one… …   Wikipedia

  • Linear actuator — TOC A linear actuator is a device that develops force and motion, from an available energy source, in a linear manner, as opposed to rotationally like an electric motor. There are various methods of achieving this linear motion. Several different …   Wikipedia

  • Continuous function — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …   Wikipedia

  • Generalized linear model — In statistics, the generalized linear model (GLM) is a flexible generalization of ordinary least squares regression. It relates the random distribution of the measured variable of the experiment (the distribution function ) to the systematic (non …   Wikipedia

  • Friedrichs extension — In functional analysis, the Friedrichs extension is a canonical self adjoint extension of a non negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension is particularly useful in situations… …   Wikipedia

  • General linear group — Group theory Group theory …   Wikipedia

  • Itō calculus — Itō calculus, named after Kiyoshi Itō, extends the methods of calculus to stochastic processes such as Brownian motion (Wiener process). It has important applications in mathematical finance and stochastic differential equations.The central… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”