Categorical algebra: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
 
en>Mark viking
→‎Definition: Added wl
 
Line 1: Line 1:
Hi there. Allow me start by introducing the author, her title is Sophia. North Carolina is [http://jplusfn.gaplus.kr/xe/qna/78647 good psychic] where we've been residing for many years and will by no means move. Credit authorising is exactly where my main earnings comes from. I am really fond of to go to karaoke but I've been taking on new things lately.<br><br>My web page: accurate [http://help.ksu.edu.sa/node/65129 psychic readers] readings ([http://www.familysurvivalgroup.com/easy-methods-planting-looking-backyard/ read the article])
In [[mathematics]] &mdash; specifically, in [[operator theory]] &mdash; a '''densely defined operator''' or '''partially defined operator''' is a type of partially defined [[function (mathematics)|function]]; in a [[topology|topological]] sense, it is a [[linear operator]] that is defined "almost everywhere".  Densely defined operators often arise in [[functional analysis]] as operations that one would like to apply to a larger class of objects than those for which they ''[[A priori and a posteriori|a priori]]'' "make sense".
 
==Definition==
 
A linear operator ''T'' from one [[topological vector space]], ''X'', to another one, ''Y'', is said to be '''densely defined''' if the [[domain (mathematics)|domain]] of ''T'' is a [[dense set|dense subset]] of ''X''<!-- and the [[range (mathematics)|range]] of ''T'' is contained within ''Y''-->.
 
==Examples==
 
* Consider the space ''C''<sup>0</sup>([0,&nbsp;1];&nbsp;'''R''') of all [[real number|real-valued]], [[continuous function]]s defined on the unit interval; let ''C''<sup>1</sup>([0,&nbsp;1];&nbsp;'''R''') denote the subspace consisting of all [[smooth function|continuously differentiable functions]]. Equip ''C''<sup>0</sup>([0,&nbsp;1];&nbsp;'''R''') with the [[supremum norm]] ||·||<sub>∞</sub>; this makes ''C''<sup>0</sup>([0,&nbsp;1];&nbsp;'''R''') into a real [[Banach space]].  The [[differential operator|differentiation operator]] D given by
 
::<math>(\mathrm{D} u)(x) = u'(x) \, </math>
 
:is a densely defined operator from ''C''<sup>0</sup>([0,&nbsp;1];&nbsp;'''R''') to itself, defined on the dense subspace ''C''<sup>1</sup>([0,&nbsp;1];&nbsp;'''R'''). Note also that the operator D is an example of an [[unbounded linear operator]], since
 
::<math>u_n (x) = e^{- n x} \, </math>
 
:has
 
::<math>\frac{\| \mathrm{D} u_n \|_{\infty}}{\| u_n \|_\infty} = n. </math>
 
:This unboundedness causes problems if one wishes to somehow continuously extend the differentiation operator D to the whole of ''C''<sup>0</sup>([0,&nbsp;1];&nbsp;'''R''').
 
* The [[Paley–Wiener integral]], on the other hand, is an example of a continuous extension of a densely defined operator. In any [[abstract Wiener space]] ''i''&nbsp;:&nbsp;''H''&nbsp;→&nbsp;''E'' with [[adjoint of an operator|adjoint]] ''j''&nbsp;=&nbsp;''i''<sup></sup>&nbsp;:&nbsp;''E''<sup>∗</sup>&nbsp;→&nbsp;''H'', there is a natural [[continuous linear operator]] (in fact it is the inclusion, and is an [[isometry]]) from ''j''(''E''<sup>∗</sup>) to ''L''<sup>2</sup>(''E'',&nbsp;''γ'';&nbsp;'''R'''), under which ''j''(''f'')&nbsp;∈&nbsp;''j''(''E''<sup>∗</sup>)&nbsp;⊆&nbsp;''H'' goes to the [[equivalence class]] [''f''] of ''f'' in ''L''<sup>2</sup>(''E'',&nbsp;''γ'';&nbsp;'''R'''). It is not hard to show that ''j''(''E''<sup>∗</sup>) is dense in ''H''. Since the above inclusion is continuous, there is a unique continuous linear extension ''I''&nbsp;:&nbsp;''H''&nbsp;→&nbsp;''L''<sup>2</sup>(''E'',&nbsp;''γ'';&nbsp;'''R''') of the inclusion ''j''(''E''<sup>∗</sup>)&nbsp;→&nbsp;''L''<sup>2</sup>(''E'',&nbsp;''γ'';&nbsp;'''R''') to the whole of ''H''. This extension is the Paley–Wiener map.
 
==References==
 
* {{cite book
| last = Renardy
| first = Michael
| coauthors = Rogers, Robert C.
| title = An introduction to partial differential equations
| series = Texts in Applied Mathematics 13
| edition = Second edition
| publisher = Springer-Verlag
| location = New York
| year = 2004
| pages = xiv+434
| isbn = 0-387-00444-0
| mr = 2028503
}}
 
{{DEFAULTSORT:Densely-Defined Operator}}
[[Category:Operator theory]]

Latest revision as of 22:30, 25 July 2013

In mathematics — specifically, in operator theory — a densely defined operator or partially defined operator is a type of partially defined function; in a topological sense, it is a linear operator that is defined "almost everywhere". Densely defined operators often arise in functional analysis as operations that one would like to apply to a larger class of objects than those for which they a priori "make sense".

Definition

A linear operator T from one topological vector space, X, to another one, Y, is said to be densely defined if the domain of T is a dense subset of X.

Examples

is a densely defined operator from C0([0, 1]; R) to itself, defined on the dense subspace C1([0, 1]; R). Note also that the operator D is an example of an unbounded linear operator, since
has
This unboundedness causes problems if one wishes to somehow continuously extend the differentiation operator D to the whole of C0([0, 1]; R).
  • The Paley–Wiener integral, on the other hand, is an example of a continuous extension of a densely defined operator. In any abstract Wiener space i : H → E with adjoint j = i : E → H, there is a natural continuous linear operator (in fact it is the inclusion, and is an isometry) from j(E) to L2(EγR), under which j(f) ∈ j(E) ⊆ H goes to the equivalence class [f] of f in L2(EγR). It is not hard to show that j(E) is dense in H. Since the above inclusion is continuous, there is a unique continuous linear extension I : H → L2(EγR) of the inclusion j(E) → L2(EγR) to the whole of H. This extension is the Paley–Wiener map.

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534