PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
closed operator (Definition)

Let $B$ be a Banach space. A linear operator $A\colon\mathscr{D}(A)\subset B\to B$ is said to be closed if for every sequence $\{x_n\}_{n\in \N}$ in $\mathscr{D}(A)$ converging to $x\in B$ such that $Ax_n\xrightarrow[n\to\infty]{} y\in B$ it holds $x\in\mathscr{D}(A)$ and $Ax = y$ Equivalently, $A$ is closed if its graph is closed in $B\oplus B$

Given an operator $A$ not necessarily closed, if the closure of its graph in $B\oplus B$ happens to be the graph of some operator, we call that operator the closure of $A$ and we say that $A$ is closable. We denote the closure of $A$ by $\overline{A}$ It follows easily that $A$ is the restriction of $\overline{A}$ to $\mathscr{D}(A)$

A core of a closable operator is a subset $\mathscr{C}$ of $\mathscr{D}(A)$ such that the closure of the restriction of $A$ to $\mathscr{C}$ is $\overline{A}$

The following properties are easily checked:

  1. Any bounded linear operator defined on the whole space $B$ is closed;
  2. If $A$ is closed then $A-\lambda I$ is closed;
  3. If $A$ is closed and it has an inverse, then $A^{-1}$ is also closed;
  4. An operator $A$ admits a closure if and only if for every pair of sequences $\{x_n\}$ and $\{y_n\}$ in $\mathscr{D}(A)$ both converging to $z\in B$ and such that both $\{Ax_n\}$ and $\{Ay_n\}$ converge, it holds $\lim_n Ax_n = \lim_n Ay_n$




"closed operator" is owned by Koro.
(view preamble | get metadata)

View style:

Other names:  closed
Also defines:  closure, closable, core
Log in to rate this entry.
(view current ratings)

Cross-references: converge, inverse, bounded linear operator, properties, subset, restriction, operator, graph, sequence, linear operator, Banach space
There are 59 references to this entry.

This is version 6 of closed operator, born on 2003-07-28, modified 2006-06-08.
Object id is 4526, canonical name is ClosedOperator.
Accessed 12422 times total.

Classification:
AMS MSC47A05 (Operator theory :: General theory of linear operators :: General )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)