src/HOL/ROOT
changeset 55018 2a526bd279ed
parent 54961 e60428f432bc
child 55033 8e8243975860
equal deleted inserted replaced
55017:2df6ad1dbd66 55018:2a526bd279ed
    59 
    59 
    60     The Hahn-Banach theorem for real vector spaces.
    60     The Hahn-Banach theorem for real vector spaces.
    61 
    61 
    62     This is the proof of the Hahn-Banach theorem for real vectorspaces,
    62     This is the proof of the Hahn-Banach theorem for real vectorspaces,
    63     following H. Heuser, Funktionalanalysis, p. 228 -232. The Hahn-Banach
    63     following H. Heuser, Funktionalanalysis, p. 228 -232. The Hahn-Banach
    64     theorem is one of the fundamental theorems of functioal analysis. It is a
    64     theorem is one of the fundamental theorems of functional analysis. It is a
    65     conclusion of Zorn's lemma.
    65     conclusion of Zorn's lemma.
    66 
    66 
    67     Two different formaulations of the theorem are presented, one for general
    67     Two different formaulations of the theorem are presented, one for general
    68     real vectorspaces and its application to normed vectorspaces.
    68     real vectorspaces and its application to normed vectorspaces.
    69 
    69