Announcements


There are no announcements

Forum

General


This course is part of the MAGIC core.

Description

This module covers those topics that I think are most basic to modern real analysis at this level, and within the constraints imposed by a 20 hour course.
It starts with a quick run through basics: topology in metric spaces, elementary general topology, linear algebra emphasising the geometric aspects, integration on measure spaces. It covers basic theory of Banach spaces - complete normed linear spaces - and linear operators on them. An important example is the class of Hilbert spaces - Banach spaces with an inner product - which includes the L2 spaces, of functions square-integrable with respect to a measure.
The latter part of the course is angled to a fundamental theorem on Fourier Series (FS) of periodic functions on the real line R, dating from the late 19th century. Namely, the FS of every L2 periodic function f converges to f in the L2 sense (whereas the corresponding result for L1 functions, and for continuous functions, is false).
The tools developed are deployed to prove another big 19th century result, the Riemann-Lebesgue Lemma: the Fourier transform of an L1 function on R is continuous and converges to 0 at infinity.
Finally, I include a proof of a fundamental fact of general functional analysis, the Hahn-Banach Theorem, which viewed geometrically says that given a convex open set C in a normed space X, and a point x not in C, there is a hyperplane through x that misses C. Algebraically it shows X has lots of continuous linear functionals.
The material is all in my 1973 book "Basic Methods of Linear Functional Analysis" (see Bibliography). It was reprinted by Dover Press in December 2011 (with many corrections-the new edition is a better product). Amazon price in Jan 2014 was £14.67 including free delivery in the UK, but other sellers can get it to you for under £9. Barnes and Noble also have it cheap, if you happen to be visiting the USA. There is also an ebook version.

Semester

Spring 2017 (Monday, January 23 to Friday, March 31)

Timetable

  • Thu 10:05 - 10:55
  • Fri 13:05 - 13:55

Prerequisites

Standard undergraduate real analysis.

Syllabus

This summarises what I taught in 2015-16. It covers most of the syllabus I was originally given. Stuff in [square brackets] is not explicitly in that syllabus.
Each year I try to add something I've not given in this course before, to keep me on my toes. This year I expect to give basic theory about the adjoint of bounded linear operator on a Banach space. This generalises the notion of the transpose AT of a matrix A. In particular for operators on Hilbert spaces, self-adjoint operators are an important class that generalise symmetric matrices.
-----
Basic metric spaces. [Topologies]. Separability. [Compactness]. [Metric space properties equivalent to compactness, e.g. Weierstrass convergent subsequence condition].
Basic measure theory, the integral, and basic theorems such as Dominated Convergence. The Lp spaces on an arbitrary measure space. Existence and regularity of Lebesgue measure assumed without proof.
Basic linear spaces, [linearly independent and spanning sets, product and quotient of linear spaces]. [Linear maps, image, kernel.] [Algebraic operations on subsets of linear space; geometric viewpoint; algebra of convex subsets.]
Normed linear spaces. Definitions and examples.
Basic normed space topology and geometry. [Compactness, convexity in normed spaces].
Completeness and how to establish it. Characterisation by infinite series.
Proof that L1 is complete. (Outline proof) general Lp is complete. Lp with Lebesgue measure, on a real interval, is separable for 1 < = p < ∞.
[Subspace, product, quotient of normed spaces].
Linear maps and functionals on normed spaces. [Operator norm. Space Bdd(X,Y) of bounded operators. Bdd(X,Y) is a Banach space if Y is.]
The dual space of a normed space. [Hahn-Banach Theorem mentioned; proved later].
Inner product spaces. Hilbert spaces. Examples, including L2 spaces.
Schwarz inequality, generalised Pythagoras, [polarisation identities].
Orthogonality, [orthogonal complement, projection].
Riesz-Fréchet Theorem on bounded linear functionals on a Hilbert space.
Orthonormal sets and expansions. Bessel's inequality, Parseval's equation. Characterisations of complete ONS. [Characterisations of separable Hilbert spaces].
[Overview of Zorn's Lemma].
[The Fourier series convergence problem].
[Density theorems. Fundamental sets in a normed space.]
[Weierstrass trigonometric polynomial approximation theorem (Fejér's proof)].
[Hence the functions eint are a complete orthogonal set in L2[−pi,pi]].
[Bounded operator sequence theorem. Application to Riemann-Lebesgue Lemma and related topics.]
[An extra bit of new stuff, see above.]
A few items in the syllabus I was given are only implicitly present in the above: e.g. Lusin's Theorem, which is closely related to the regularity of Lebesgue measure. I don't think it's central material.

Lecturer


John Pryce
Email prycejd1@cardiff.ac.uk
Phone 01793 327341
Interests differential and differential-algebraic equations; interval computation and its foundations


Students


Photo of Amos Ajibo
Amos Ajibo
(Newcastle)
Photo of Asmahan Alajyan
Asmahan Alajyan
(Leeds)
Photo of Amjad Alghamdi
Amjad Alghamdi
(Leeds)
Photo of Walid Almalki
Walid Almalki
(Cardiff)
Photo of Omar Alsalhi
Omar Alsalhi
(Newcastle)
Photo of Hadi Alshammari
Hadi Alshammari
(Newcastle)
Photo of Ahmed Alshehri
Ahmed Alshehri
(Cardiff)
Photo of Robert Bickerton
Robert Bickerton
(Newcastle)
Photo of Joe Bishop
Joe Bishop
(Cardiff)
Photo of Junbin Chen
Junbin Chen
(Durham)
Photo of Dimitris Chiotis
Dimitris Chiotis
(Newcastle)
Photo of Sara Frecentese
Sara Frecentese
(Liverpool)
Photo of Afredo Garbuno Inigo
Afredo Garbuno Inigo
(Liverpool)
Photo of Nikolaos Karpathopoulos
Nikolaos Karpathopoulos
(Southampton)
Photo of Amal Mohammed
Amal Mohammed
(*Ext_Assessed)
Photo of Junaid Mustafa
Junaid Mustafa
(*Ext_Assessed)
Photo of Matthew Northey
Matthew Northey
(Durham)
Photo of Hayley Randall
Hayley Randall
(Cardiff)
Photo of Leonardo Rocchi
Leonardo Rocchi
(Birmingham)
Photo of Matty Van Son
Matty Van Son
(Liverpool)
Photo of Rawin Youngnoi
Rawin Youngnoi
(Birmingham)


Bibliography


Basic Methods of Linear Functional AnalysisPryce
Applied functional analysisGriffel
Applied Functional AnalysisAubin


Note:

Clicking on the link for a book will take you to the relevant Google Book Search page. You may be able to preview the book there. On the right hand side you will see links to places where you can buy the book. There is also link marked 'Find this book in a library'. This sometimes works well, but not always. (You will need to enter your location, but it will be saved after you do that for the first time.)

Assessment



Following standard MAGIC procedure there will be a take-home exam after the end of the course.

MAGIC062 Take-home Exam 2017

Files:Exam paper
Released: Monday 24 April 2017 (118.2 days ago)
Deadline: Sunday 7 May 2017 (104.2 days ago)


Recorded Lectures


Please log in to view lecture recordings.