Tautology (logic): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Materialscientist
m Reverted edits by CoffeeAddictUK (talk) to last version by 50.101.226.10
en>SteveTheRed
m Line break between paragraphs.
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
In [[mathematics]], the '''corona theorem''' is a result about the [[spectrum of a commutative Banach algebra|spectrum]] of the [[Bounded function|bounded]] [[holomorphic function]]s on the [[open unit disc]],  conjectured by {{harvtxt|Kakutani|1941}} and proved by  {{harvs|authorlink=Lennart Carleson|first=Lennart|last=Carleson|year=1962|txt=yes}}.
Hi there. Allow me begin by introducing the author, her title is Sophia Boon but she never truly favored that title. Credit authorising is how she makes a living. My husband doesn't like it the way I do but what I truly like performing is caving but I don't have the time recently. I've usually cherished residing in Alaska.<br><br>Here is my web page [http://brazil.amor-amore.com/irboothe telephone psychic]
 
The commutative Banach algebra and [[Hardy space]] [[H infinity|''H''<sup>&infin;</sup>]] consists of the bounded [[holomorphic function]]s on the [[open unit disc]] ''D''. Its [[spectrum of a commutative Banach algebra|spectrum]] ''S'' (the closed maximal ideals) contains ''D'' as an open subspace because for each ''z'' in ''D'' there is a  [[maximal ideal]] consisting of functions ''f'' with
 
:''f''(''z'') = 0.
 
The subspace ''D'' cannot make up the entire spectrum ''S'', essentially because the spectrum is a [[compact space]] and ''D'' is not. The complement of the closure of ''D'' in ''S'' was called the '''corona''' by {{harvtxt|Newman|1959}}, and the '''corona theorem''' states that the corona is empty, or in other words the open unit disc ''D'' is dense in the spectrum. A more elementary formulation is that elements ''f''<sub>1</sub>,...,''f''<sub>''n''</sub> generate the unit ideal of ''H''<sup>∞</sup> if and only if there is some δ>0 such that
:<math>|f_1|+\cdots+|f_n|\ge\delta</math> everywhere in the unit ball.
 
Newman showed that the corona theorem can be reduced to an interpolation problem, which was then proved by Carleson.
 
In 1979 [[Thomas Wolff]] gave a simplified (but unpublished) proof of the corona theorem, described in {{harv|Koosis|1980}} and {{harv|Gamelin|1980}}.
 
Cole later showed that this result cannot be extended to all [[open Riemann surface]]s {{harv|Gamelin|1978}}.
 
As a by-product, of Carleson's work, the [[Carleson measure]] was invented which itself is a very useful tool in modern function theory.  It remains an open question whether there are versions of the '''corona theorem''' for every planar domain or for higher-dimensional domains.
 
==See also==
*[[Corona set]]
 
==References==
*{{citation|mr=0141789 | zbl = 0112.29702
|last= Carleson
|first= Lennart
|author-link= Lennart Carleson
|title=Interpolations by bounded analytic functions and the corona problem
|journal= [[Annals of Mathematics]]
|issue= 2 
|volume=76
|year= 1962
|pages=547–559
|doi=10.2307/1970375
|jstor=1970375
}}
*{{citation|mr=0521440  | zbl = 0418.46042
|last=Gamelin|first= T. W.
|title=Uniform algebras and Jensen measures.
|series=London Mathematical Society Lecture Note Series
|volume= 32
|publisher= [[Cambridge University Press]]
|place= Cambridge-New York
|year= 1978
|pages= iii+162
|isbn= 978-0-521-22280-8}}
*{{citation|mr=0599306 | zbl = 0466.46050
|last=Gamelin|first= T. W.
|title=Wolff's proof of the corona theorem
|journal=[http://www.ma.huji.ac.il/~ijmath/ Israel Journal of Mathematics]
|volume= 37
|year=1980
|issue= 1–2
|pages= 113–119
|doi=10.1007/BF02762872}}
*{{citation|mr=0565451 | zbl = 0435.30001
|last=Koosis|first= Paul
|title=Introduction to H<sup>''p''</sup>-spaces. With an appendix on Wolff's proof of the corona theorem
|series=London Mathematical Society Lecture Note Series
|volume= 40
|publisher= [[Cambridge University Press]]
|place= Cambridge-New York
|year=1980
|pages= xv+376
|isbn= 0-521-23159-0}}
*{{citation|mr=0106290 | zbl = 0092.11802
|last= Newman
|first= D. J.
|title= Some remarks on the maximal ideal structure of H<sup>&infin;</sup>
|journal=  [[Annals of Mathematics]]
|issue= 2
|volume= 70
|year= 1959
|pages= 438–445
|doi=10.2307/1970324
|jstor=1970324
}}
*{{citation
|mr=0125442 | zbl = 0139.30402
|last=Schark
|first= I. J.
|title=Maximal ideals in an algebra of bounded analytic functions
|journal=[[Indiana University Mathematics Journal|Journal of Mathematics and Mechanics]]
|volume= 10
|url=http://www.iumj.indiana.edu/IUMJ/FULLTEXT/1961/10/10050
|year=1961
|pages=735–746}}.
 
[[Category:Banach algebras]]
[[Category:Hardy spaces]]
[[Category:Theorems in complex analysis]]

Latest revision as of 22:42, 3 December 2014

Hi there. Allow me begin by introducing the author, her title is Sophia Boon but she never truly favored that title. Credit authorising is how she makes a living. My husband doesn't like it the way I do but what I truly like performing is caving but I don't have the time recently. I've usually cherished residing in Alaska.

Here is my web page telephone psychic