SlideShare a Scribd company logo
SOME FUNDAMENTAL THEOREMS IN BANACH
SPACES AND HILBERT SPACES
Sanjay Kumar
Department of Mathematics
Central University of Jammu, India
sanjaykmath@gmail.com
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 1 / 14
Functional analysis is the branch of mathematics, concerned with the
study of certain topological-algebaric and geometric sttuctures and
techniques by which knowledge of these structures can be applied to
analytic problems. Functional analysis play crucial role in the applied
sciences as well as in mathematics. Functional analysis has its
applications in every branch of mathematics like in mathematical
finance, differential equations, computer science, probability theory,
quantum mechanics, quantum Physics etc.
The early development of Functional analysis is due to Polish
mathematician Stefan Banach and his group around 1920’s. Hilbert
spaces are special Banach spaces. Historically they are older than
general normed spaces. A Hilbert space is the abstraction of the
finite-dimensional Euclidean spaces and retains many features of
Euclidean spaces, a central concept being orthogonality. In fact, inner
product spaces are probably the most natural generalization of
Euclidean space. The whole theory was initiated by the work of D.
Hilbert (1912) and E. Schmidt (1908). The Banach spaces and
Hilbert spaces are more important spaces that we met in daily life and
upon which every scientist can rely throughout his or her career.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 2 / 14
The aim of this course is to introduce the student to the key ideas of
functional analysis. It should be noted that only scratch the surface of this
vast area in this course. We discuss normed linear spaces, Hilbert spaces,
bounded linear operators and the fundamental results in functional analysis
such as Baires category theorem, the Hahn-Banach theorem, the uniform
boundedness principle, the open mapping theorem, the closed graph
theorem and the Riesz’s Representation theorem.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 3 / 14
Definition
Let X be a vector space over either the scalar field R of real numbers or
the scalar field C of complex numbers.Suppose we have a function
||.|| : X → [0, ∞) such that
(1) ||x|| = 0 if and only if x = 0;
(2) ||x + y|| ≤ ||x|| + ||y|| for all x, y ∈ X; and
(3) ||αx|| = |α| ||x|| for all scalars α and vector x.
We call (X, ||.||) a normed linear space.
Property (2) is called the triangle inequality and property (3) is referred to
as homogeneity. The reverse triangle inequality,
||x + y|| ≥ ||x|| − ||y||.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 4 / 14
Now we state the Hahn Banach Theorem for real linear space
Theorem
(Hahn Banach Theorem) Let X be a real linear space and let p be a
sublinear functionals on X. If f is a real linear functional which is defined
on a subspace Z on X satisfying
f (x) ≤ p(x)
for all x ∈ M, then there exists a real linear functional f on X such that
f |Z = f and f (x) ≤ p(x), ∀ x ∈ X.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 5 / 14
Hahn-Banach Theorem for normed spaces
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 6 / 14
Hahn-Banach Theorem for normed spaces
Theorem
Let X be a normed space over the field K and Z be a subspace of X.
Then, for every bounded linear functional f on Z, there exist a bounded
linear functional f on X such that
f |Z = f and ||f ||X = ||f ||Z ,
where ||f ||X = sup
x∈X, x =1
|f (x)|, and ||f ||Z = sup
x∈X, x =1
|f (x)|.
Some applications of Hahn Banach Theorem
Corollary
Let X be a normed space and let 0 = x0 ∈ X. Then there exists f ∈ X
with ||f || = 1 and f (x0) = ||x0||.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 6 / 14
Corollary
Let X be a normed space over the field K and x1 and x2 be distinct points
of X. Then there exists a f ∈ X such that
f (x1) = f (x2).
The next fundamental theorem is Open Mapping Theorem
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 7 / 14
Corollary
Let X be a normed space over the field K and x1 and x2 be distinct points
of X. Then there exists a f ∈ X such that
f (x1) = f (x2).
The next fundamental theorem is Open Mapping Theorem
Theorem
(Open Mapping Theorem) Let X and Y be Banach spaces over the field
K and T : X → Y be a bounded linear operator.Then T is an open
mapping.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 7 / 14
Conditions of the completeness in open mapping is essential
Example
The Banach space X = (C[0, 1], ||.||∞) and the normed space
Y = (C[0, 1], ||.||1) and the identity operator I : X → Y . Then clearly I is
continuous (hence bounded). Since ||Ix||1 = ||x||1 ≤ ||x||∞. Also, I is
bijective so we can consider the inverse mapping I−1 : Y → X which is
again linear. But I−1 is not continuous.
The following theorem is an intermediate consequence of open mapping
theorem
Theorem
( Inverse Mapping Theorem) Let X and Y be Banach spaces and
T : X → Y be a bounded linear operator if T is bijective, then T−1 is a
bounded linear operator.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 8 / 14
Definition
Let X and Y be normed spaces and T : D(T) → Y a linear operator with
domain D(T) ⊂ X. Then T is called a closed linear operator if its graph
G(T) = {(x, y) : x ∈ D(T), y = Tx} is closed in the normed space
X × Y , where the two algebraic operations of a vector space in X × Y are
defined as usual, i.e.,
(x1, y1) + (x2, y2) = (x1 + x2, y1 + y2)
and
α(x, y) = (αx, αy), where α is a scalar.
The norm on X × Y is defined by
||(x, y)|| = ||x|| + ||y||.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 9 / 14
Theorem
Let X and Y be normed spaces and T : D(T) → Y be a linear operator
where D(T) ⊂ X. Then T is closed if and only if it has the following
properties if xn → x, where x ∈ D(T) and Txn → y. Then x ∈ D(T) and
Tx = y.
The following theorem is known as closed graph theorem
Theorem
Let X and Y be Banach spaces and T : D(T) → Y be a closed linear
operator, where D(T) ⊂ X.Then if D(T) is closed in X, the operator T is
bounded.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 10 / 14
In general, we observed that the closedness need not imply boundedness
and boundedness need not imply closedness
Example
Consider the Banach space (C[0, 1], ||.||∞) and the normed space
(C [0, 1], ||.||∞). Define the mapping T : C [0, 1] → C[0, 1] by
(Tx)(t) = x (t), x ∈ C [0, 1], t ∈ [0, 1].
Then
(i) T is a linear operator.
(ii) T is not bounded.
(iii) T is closed.
Theorem
(The Banach Steinhaus Theorem) Consider a Banach space X and a
normed linear space Y. If A ⊂ B(X, Y ) is such that
sup{||Tx||Y |T ∈ A} < ∞ for each x ∈ X, then
sup{||T||B(X,Y )|T ∈ A} < ∞.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 11 / 14
Definition
Let X be a linear space over the complex filed C. An inner product on X is
a function : X × X → C which satisfies the following conditions:
(1) αx + βy, z = α x, z for all x, y, z ∈ X and α, β ∈ C; (Linearity in
the first variable)
(2) x, y = y, x where the bar denotes the complex conjugate
;(symmetry)
(3) x, x ≥ 0, x, x = 0 if and only if x = 0. (positive definiteness)
A complex inner product space X is a linear space over C with an inner
product defined on it.
Definition
A complete inner product space is called a Hilbert space.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 12 / 14
Next, we give the example of a Banach space which is not a Hilbert space
Example
The space p with p = 2 is not an inner product space and hence not a
Hilbert space.
Reisz’s Reprsentation Theorem
Theorem
Every bounded linear functionals f on a Hilbert space H can be
represented in terms of the inner product, namely
f (x) = x, z ,
where z depends on f is uniquely determined by f and has norm
||f || = ||z||.
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 13 / 14
References
R. Bhatia, Notes on Functional Analysis, Hindustan Book Agency, 2009.
J. B. Conway, A course in functional analysis, Springer-Verlag, New York, 1985.
E. Kreyszig, Introductory Functional Analysis, John Wiley & sons, New
York-Chichester-Brisbane Toronto, 1978.
M. Schechter, Principles Of Functional Analysis, American Mathematical Soc.,
2001
Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 14 / 14

More Related Content

What's hot

Metric space
Metric spaceMetric space
Metric space
beenishbeenish
 
Complex form fourier series
Complex form fourier seriesComplex form fourier series
Complex form fourier seriesderry92
 
Fourier series
Fourier seriesFourier series
Fourier series
Shiv Prasad Gupta
 
linear transformation
linear transformationlinear transformation
linear transformation
mansi acharya
 
Lu Decomposition
Lu DecompositionLu Decomposition
Lu Decomposition
MdAlAmin187
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spaces
EasyStudy3
 
Rank of a matrix
Rank of a matrixRank of a matrix
Rank of a matrix
muthukrishnaveni anand
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
2461998
 
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
YogeshIJTSRD
 
Definite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite IntegralDefinite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite Integral
ShaifulIslam56
 
Inner Product Space
Inner Product SpaceInner Product Space
Inner Product Space
Patel Raj
 
Triple integrals and applications
Triple integrals and applicationsTriple integrals and applications
Power method
Power methodPower method
Power method
nashaat algrara
 
Linear dependence & independence vectors
Linear dependence & independence vectorsLinear dependence & independence vectors
Linear dependence & independence vectors
Rakib Hossain
 
Second order homogeneous linear differential equations
Second order homogeneous linear differential equations Second order homogeneous linear differential equations
Second order homogeneous linear differential equations Viraj Patel
 
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptxSystem of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
VinayKp11
 
Double Integral
Double IntegralDouble Integral
Double Integral
Keerthana Nambiar
 
Dft
DftDft

What's hot (20)

Metric space
Metric spaceMetric space
Metric space
 
Complex form fourier series
Complex form fourier seriesComplex form fourier series
Complex form fourier series
 
Diagonalization
DiagonalizationDiagonalization
Diagonalization
 
Fourier series
Fourier seriesFourier series
Fourier series
 
linear transformation
linear transformationlinear transformation
linear transformation
 
Lu Decomposition
Lu DecompositionLu Decomposition
Lu Decomposition
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spaces
 
Rank of a matrix
Rank of a matrixRank of a matrix
Rank of a matrix
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
 
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
On Intuitionistic Fuzzy Transportation Problem Using Pentagonal Intuitionisti...
 
Definite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite IntegralDefinite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite Integral
 
Line integeral
Line integeralLine integeral
Line integeral
 
Inner Product Space
Inner Product SpaceInner Product Space
Inner Product Space
 
Triple integrals and applications
Triple integrals and applicationsTriple integrals and applications
Triple integrals and applications
 
Power method
Power methodPower method
Power method
 
Linear dependence & independence vectors
Linear dependence & independence vectorsLinear dependence & independence vectors
Linear dependence & independence vectors
 
Second order homogeneous linear differential equations
Second order homogeneous linear differential equations Second order homogeneous linear differential equations
Second order homogeneous linear differential equations
 
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptxSystem of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
System of Homogeneous and Non-Homogeneous equations ppt nadi.pptx
 
Double Integral
Double IntegralDouble Integral
Double Integral
 
Dft
DftDft
Dft
 

Similar to Some fundamental theorems in Banach spaces and Hilbert spaces

Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
IOSR Journals
 
PaperNo10-KaramiHabibiSafariZarrabi-IJCMS
PaperNo10-KaramiHabibiSafariZarrabi-IJCMSPaperNo10-KaramiHabibiSafariZarrabi-IJCMS
PaperNo10-KaramiHabibiSafariZarrabi-IJCMSMezban Habibi
 
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
FadiAkil2
 
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert SpacesApproximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
Lisa Garcia
 
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
Katsuya Ito
 
Side 2019, part 1
Side 2019, part 1Side 2019, part 1
Side 2019, part 1
Arthur Charpentier
 
16 Machine Learning Universal Approximation Multilayer Perceptron
16 Machine Learning Universal Approximation Multilayer Perceptron16 Machine Learning Universal Approximation Multilayer Perceptron
16 Machine Learning Universal Approximation Multilayer Perceptron
Andres Mendez-Vazquez
 
Fixed points of contractive and Geraghty contraction mappings under the influ...
Fixed points of contractive and Geraghty contraction mappings under the influ...Fixed points of contractive and Geraghty contraction mappings under the influ...
Fixed points of contractive and Geraghty contraction mappings under the influ...
IJERA Editor
 
Finance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdfFinance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdf
CarlosLazo45
 
PaperNo18-habibiIMF9-12-2013-IMF
PaperNo18-habibiIMF9-12-2013-IMFPaperNo18-habibiIMF9-12-2013-IMF
PaperNo18-habibiIMF9-12-2013-IMFMezban Habibi
 
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
IJERA Editor
 
Using ψ-Operator to Formulate a New Definition of Local Function
Using ψ-Operator to Formulate a New Definition of Local FunctionUsing ψ-Operator to Formulate a New Definition of Local Function
Using ψ-Operator to Formulate a New Definition of Local Function
paperpublications3
 
1807.02591v3.pdf
1807.02591v3.pdf1807.02591v3.pdf
1807.02591v3.pdf
rogerkeinwood1
 
applied mathematics methods.pdf
applied mathematics methods.pdfapplied mathematics methods.pdf
applied mathematics methods.pdf
CyprianObota
 
Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)
IJERD Editor
 
An Overview of Separation Axioms by Nearly Open Sets in Topology.
An Overview of Separation Axioms by Nearly Open Sets in Topology.An Overview of Separation Axioms by Nearly Open Sets in Topology.
An Overview of Separation Axioms by Nearly Open Sets in Topology.
IJERA Editor
 
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Alexander Decker
 

Similar to Some fundamental theorems in Banach spaces and Hilbert spaces (20)

Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
Existence Theory for Second Order Nonlinear Functional Random Differential Eq...
 
PaperNo10-KaramiHabibiSafariZarrabi-IJCMS
PaperNo10-KaramiHabibiSafariZarrabi-IJCMSPaperNo10-KaramiHabibiSafariZarrabi-IJCMS
PaperNo10-KaramiHabibiSafariZarrabi-IJCMS
 
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
Optimization Methods for Machine Learning and Engineering: Optimization in Ve...
 
project
projectproject
project
 
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert SpacesApproximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
Approximation Methods Of Solutions For Equilibrium Problem In Hilbert Spaces
 
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
Convex Analysis and Duality (based on "Functional Analysis and Optimization" ...
 
Side 2019, part 1
Side 2019, part 1Side 2019, part 1
Side 2019, part 1
 
16 Machine Learning Universal Approximation Multilayer Perceptron
16 Machine Learning Universal Approximation Multilayer Perceptron16 Machine Learning Universal Approximation Multilayer Perceptron
16 Machine Learning Universal Approximation Multilayer Perceptron
 
03 banach
03 banach03 banach
03 banach
 
Fixed points of contractive and Geraghty contraction mappings under the influ...
Fixed points of contractive and Geraghty contraction mappings under the influ...Fixed points of contractive and Geraghty contraction mappings under the influ...
Fixed points of contractive and Geraghty contraction mappings under the influ...
 
Finance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdfFinance Enginering from Columbia.pdf
Finance Enginering from Columbia.pdf
 
PaperNo18-habibiIMF9-12-2013-IMF
PaperNo18-habibiIMF9-12-2013-IMFPaperNo18-habibiIMF9-12-2013-IMF
PaperNo18-habibiIMF9-12-2013-IMF
 
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
Fixed Point Results In Fuzzy Menger Space With Common Property (E.A.)
 
Using ψ-Operator to Formulate a New Definition of Local Function
Using ψ-Operator to Formulate a New Definition of Local FunctionUsing ψ-Operator to Formulate a New Definition of Local Function
Using ψ-Operator to Formulate a New Definition of Local Function
 
1807.02591v3.pdf
1807.02591v3.pdf1807.02591v3.pdf
1807.02591v3.pdf
 
applied mathematics methods.pdf
applied mathematics methods.pdfapplied mathematics methods.pdf
applied mathematics methods.pdf
 
Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)
 
An Overview of Separation Axioms by Nearly Open Sets in Topology.
An Overview of Separation Axioms by Nearly Open Sets in Topology.An Overview of Separation Axioms by Nearly Open Sets in Topology.
An Overview of Separation Axioms by Nearly Open Sets in Topology.
 
Slides lln-risques
Slides lln-risquesSlides lln-risques
Slides lln-risques
 
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
Generalized fixed point theorems for compatible mapping in fuzzy 2 metric spa...
 

Recently uploaded

How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
Jisc
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
Tamralipta Mahavidyalaya
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
MIRIAMSALINAS13
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
ESC Beyond Borders _From EU to You_ InfoPack general.pdf
ESC Beyond Borders _From EU to You_ InfoPack general.pdfESC Beyond Borders _From EU to You_ InfoPack general.pdf
ESC Beyond Borders _From EU to You_ InfoPack general.pdf
Fundacja Rozwoju Społeczeństwa Przedsiębiorczego
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxStudents, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
EduSkills OECD
 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
GeoBlogs
 
How to Break the cycle of negative Thoughts
How to Break the cycle of negative ThoughtsHow to Break the cycle of negative Thoughts
How to Break the cycle of negative Thoughts
Col Mukteshwar Prasad
 
Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)
rosedainty
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
Jisc
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
Atul Kumar Singh
 
Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
joachimlavalley1
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
Vivekanand Anglo Vedic Academy
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
Nguyen Thanh Tu Collection
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 

Recently uploaded (20)

How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
ESC Beyond Borders _From EU to You_ InfoPack general.pdf
ESC Beyond Borders _From EU to You_ InfoPack general.pdfESC Beyond Borders _From EU to You_ InfoPack general.pdf
ESC Beyond Borders _From EU to You_ InfoPack general.pdf
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptxStudents, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
Students, digital devices and success - Andreas Schleicher - 27 May 2024..pptx
 
Fish and Chips - have they had their chips
Fish and Chips - have they had their chipsFish and Chips - have they had their chips
Fish and Chips - have they had their chips
 
How to Break the cycle of negative Thoughts
How to Break the cycle of negative ThoughtsHow to Break the cycle of negative Thoughts
How to Break the cycle of negative Thoughts
 
Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)Template Jadual Bertugas Kelas (Boleh Edit)
Template Jadual Bertugas Kelas (Boleh Edit)
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
 
Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
GIÁO ÁN DẠY THÊM (KẾ HOẠCH BÀI BUỔI 2) - TIẾNG ANH 8 GLOBAL SUCCESS (2 CỘT) N...
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 

Some fundamental theorems in Banach spaces and Hilbert spaces

  • 1. SOME FUNDAMENTAL THEOREMS IN BANACH SPACES AND HILBERT SPACES Sanjay Kumar Department of Mathematics Central University of Jammu, India sanjaykmath@gmail.com Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 1 / 14
  • 2. Functional analysis is the branch of mathematics, concerned with the study of certain topological-algebaric and geometric sttuctures and techniques by which knowledge of these structures can be applied to analytic problems. Functional analysis play crucial role in the applied sciences as well as in mathematics. Functional analysis has its applications in every branch of mathematics like in mathematical finance, differential equations, computer science, probability theory, quantum mechanics, quantum Physics etc. The early development of Functional analysis is due to Polish mathematician Stefan Banach and his group around 1920’s. Hilbert spaces are special Banach spaces. Historically they are older than general normed spaces. A Hilbert space is the abstraction of the finite-dimensional Euclidean spaces and retains many features of Euclidean spaces, a central concept being orthogonality. In fact, inner product spaces are probably the most natural generalization of Euclidean space. The whole theory was initiated by the work of D. Hilbert (1912) and E. Schmidt (1908). The Banach spaces and Hilbert spaces are more important spaces that we met in daily life and upon which every scientist can rely throughout his or her career. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 2 / 14
  • 3. The aim of this course is to introduce the student to the key ideas of functional analysis. It should be noted that only scratch the surface of this vast area in this course. We discuss normed linear spaces, Hilbert spaces, bounded linear operators and the fundamental results in functional analysis such as Baires category theorem, the Hahn-Banach theorem, the uniform boundedness principle, the open mapping theorem, the closed graph theorem and the Riesz’s Representation theorem. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 3 / 14
  • 4. Definition Let X be a vector space over either the scalar field R of real numbers or the scalar field C of complex numbers.Suppose we have a function ||.|| : X → [0, ∞) such that (1) ||x|| = 0 if and only if x = 0; (2) ||x + y|| ≤ ||x|| + ||y|| for all x, y ∈ X; and (3) ||αx|| = |α| ||x|| for all scalars α and vector x. We call (X, ||.||) a normed linear space. Property (2) is called the triangle inequality and property (3) is referred to as homogeneity. The reverse triangle inequality, ||x + y|| ≥ ||x|| − ||y||. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 4 / 14
  • 5. Now we state the Hahn Banach Theorem for real linear space Theorem (Hahn Banach Theorem) Let X be a real linear space and let p be a sublinear functionals on X. If f is a real linear functional which is defined on a subspace Z on X satisfying f (x) ≤ p(x) for all x ∈ M, then there exists a real linear functional f on X such that f |Z = f and f (x) ≤ p(x), ∀ x ∈ X. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 5 / 14
  • 6. Hahn-Banach Theorem for normed spaces Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 6 / 14
  • 7. Hahn-Banach Theorem for normed spaces Theorem Let X be a normed space over the field K and Z be a subspace of X. Then, for every bounded linear functional f on Z, there exist a bounded linear functional f on X such that f |Z = f and ||f ||X = ||f ||Z , where ||f ||X = sup x∈X, x =1 |f (x)|, and ||f ||Z = sup x∈X, x =1 |f (x)|. Some applications of Hahn Banach Theorem Corollary Let X be a normed space and let 0 = x0 ∈ X. Then there exists f ∈ X with ||f || = 1 and f (x0) = ||x0||. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 6 / 14
  • 8. Corollary Let X be a normed space over the field K and x1 and x2 be distinct points of X. Then there exists a f ∈ X such that f (x1) = f (x2). The next fundamental theorem is Open Mapping Theorem Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 7 / 14
  • 9. Corollary Let X be a normed space over the field K and x1 and x2 be distinct points of X. Then there exists a f ∈ X such that f (x1) = f (x2). The next fundamental theorem is Open Mapping Theorem Theorem (Open Mapping Theorem) Let X and Y be Banach spaces over the field K and T : X → Y be a bounded linear operator.Then T is an open mapping. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 7 / 14
  • 10. Conditions of the completeness in open mapping is essential Example The Banach space X = (C[0, 1], ||.||∞) and the normed space Y = (C[0, 1], ||.||1) and the identity operator I : X → Y . Then clearly I is continuous (hence bounded). Since ||Ix||1 = ||x||1 ≤ ||x||∞. Also, I is bijective so we can consider the inverse mapping I−1 : Y → X which is again linear. But I−1 is not continuous. The following theorem is an intermediate consequence of open mapping theorem Theorem ( Inverse Mapping Theorem) Let X and Y be Banach spaces and T : X → Y be a bounded linear operator if T is bijective, then T−1 is a bounded linear operator. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 8 / 14
  • 11. Definition Let X and Y be normed spaces and T : D(T) → Y a linear operator with domain D(T) ⊂ X. Then T is called a closed linear operator if its graph G(T) = {(x, y) : x ∈ D(T), y = Tx} is closed in the normed space X × Y , where the two algebraic operations of a vector space in X × Y are defined as usual, i.e., (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) and α(x, y) = (αx, αy), where α is a scalar. The norm on X × Y is defined by ||(x, y)|| = ||x|| + ||y||. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 9 / 14
  • 12. Theorem Let X and Y be normed spaces and T : D(T) → Y be a linear operator where D(T) ⊂ X. Then T is closed if and only if it has the following properties if xn → x, where x ∈ D(T) and Txn → y. Then x ∈ D(T) and Tx = y. The following theorem is known as closed graph theorem Theorem Let X and Y be Banach spaces and T : D(T) → Y be a closed linear operator, where D(T) ⊂ X.Then if D(T) is closed in X, the operator T is bounded. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 10 / 14
  • 13. In general, we observed that the closedness need not imply boundedness and boundedness need not imply closedness Example Consider the Banach space (C[0, 1], ||.||∞) and the normed space (C [0, 1], ||.||∞). Define the mapping T : C [0, 1] → C[0, 1] by (Tx)(t) = x (t), x ∈ C [0, 1], t ∈ [0, 1]. Then (i) T is a linear operator. (ii) T is not bounded. (iii) T is closed. Theorem (The Banach Steinhaus Theorem) Consider a Banach space X and a normed linear space Y. If A ⊂ B(X, Y ) is such that sup{||Tx||Y |T ∈ A} < ∞ for each x ∈ X, then sup{||T||B(X,Y )|T ∈ A} < ∞. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 11 / 14
  • 14. Definition Let X be a linear space over the complex filed C. An inner product on X is a function : X × X → C which satisfies the following conditions: (1) αx + βy, z = α x, z for all x, y, z ∈ X and α, β ∈ C; (Linearity in the first variable) (2) x, y = y, x where the bar denotes the complex conjugate ;(symmetry) (3) x, x ≥ 0, x, x = 0 if and only if x = 0. (positive definiteness) A complex inner product space X is a linear space over C with an inner product defined on it. Definition A complete inner product space is called a Hilbert space. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 12 / 14
  • 15. Next, we give the example of a Banach space which is not a Hilbert space Example The space p with p = 2 is not an inner product space and hence not a Hilbert space. Reisz’s Reprsentation Theorem Theorem Every bounded linear functionals f on a Hilbert space H can be represented in terms of the inner product, namely f (x) = x, z , where z depends on f is uniquely determined by f and has norm ||f || = ||z||. Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 13 / 14
  • 16. References R. Bhatia, Notes on Functional Analysis, Hindustan Book Agency, 2009. J. B. Conway, A course in functional analysis, Springer-Verlag, New York, 1985. E. Kreyszig, Introductory Functional Analysis, John Wiley & sons, New York-Chichester-Brisbane Toronto, 1978. M. Schechter, Principles Of Functional Analysis, American Mathematical Soc., 2001 Sanjay Kumar (Central University of Jammu) FUNCTIONAL ANALYSIS 14 / 14