Tsirelson's space

In 1974, Tsirelson constructed a Banach space that contains no subspace isomorphic to c_0 or l_p. In this video we establish all the preliminary notions required to define Tsirelson's space, describe its construction, and then prove that no subspace is isomorphic to c_0 or l_p.

The notes described in the video can be found at this link:
I hoped the video would be under an hour, but I guess I failed. It would have been even longer if I included all of the proofs, so sadly I had to omit most of them, but they are in the notes above for your careful scrutiny.

0:00 Preamble and basic definitions
11:15 Schauder bases
28:25 Definition of Tsirelson's space and lemmas
45:46 Proof that l_1 does not embed into T
1:05:52 Proof that T does not contain c_0 or l_p

(This video was created for the class MATH 567 Introduction to Functional Analysis for the Fall 2021 semester at McGill University.)

[raffihotter]

It seems the link in the description might be broken