summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

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 |