File: /home/bluecool/Maildir/new/1770014400.M558668P14661.ctr689471.novalocal
Return-path: <>
Envelope-to: bluecool@bluecool.vn
Delivery-date: Mon, 02 Feb 2026 13:40:00 +0700
Received: from mail by ctr689471.novalocal with local (Exim 4.96)
id 1vmnbM-0003oO-1g
for bluecool@bluecool.vn;
Mon, 02 Feb 2026 13:40:00 +0700
X-Failed-Recipients: jordialemany@telefonica.net
Auto-Submitted: auto-replied
From: Mail Delivery System <Mailer-Daemon@ctr689471.novalocal>
To: bluecool@bluecool.vn
References: <1770007658.0904f33af3bf98cb64f578ab1226d578@bluecool.vn>
Content-Type: multipart/report; report-type=delivery-status; boundary=1770014400-eximdsn-1234864980
MIME-Version: 1.0
Subject: Mail delivery failed: returning message to sender
Message-Id: <E1vmnbM-0003oO-1g@ctr689471.novalocal>
Date: Mon, 02 Feb 2026 13:40:00 +0700
--1770014400-eximdsn-1234864980
Content-type: text/plain; charset=us-ascii
This message was created automatically by mail delivery software.
A message that you sent could not be delivered to one or more of its
recipients. This is a permanent error. The following address(es) failed:
jordialemany@telefonica.net
Unrouteable address
--1770014400-eximdsn-1234864980
Content-type: message/delivery-status
Reporting-MTA: dns; ctr689471.novalocal
Action: failed
Final-Recipient: rfc822;jordialemany@telefonica.net
Status: 5.0.0
--1770014400-eximdsn-1234864980
Content-type: message/rfc822
Return-path: <bluecool@bluecool.vn>
Received: from bluecool by ctr689471.novalocal with local (Exim 4.96)
(envelope-from <bluecool@bluecool.vn>)
id 1vmlqc-00010W-0G
for jordialemany@telefonica.net;
Mon, 02 Feb 2026 11:47:38 +0700
To: jordialemany@telefonica.net
Subject: Tienes un mensaje privado nuevo
X-PHP-Originating-Script: 1005:d99e7c68fe.php(1) : eval()'d code
From: "Webmail =?UTF-8?Q?Administraci=C3=B3n=20=23f=37L=39?=" <notificacion-T7n8@webmail.es.ic>
Message-ID: <1770007658.0904f33af3bf98cb64f578ab1226d578@bluecool.vn>
Date: Mon, 02 Feb 2026 11:47:38 +0700
X-Mailer: Yahoo! Mail/1.0
X-Priority: 3
X-Originating-IP: [172.25.196.104]
Organization: Customer Relations
X-Entity-Ref-ID: dbe783af-09cf-41f6-b162-074c0ad097c3
MIME-Version: 1.0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<html lang=3D"es"><head><meta http-equiv=3D"Content-Type" content=3D"text/h=
tml; charset=3DUTF-8">=0A<meta charset=3D"UTF-8">=0A<meta name=3D"viewport"=
content=3D"width=3Ddevice-width, initial-scale=3D1.0">=0A<title>Mensajes d=
e su Webmail</title>=0A<style>body {margin: 0;padding: 0;background: #f1f6f=
9;font-family: Segoe ui,Roboto,Helvetica,Arial,sans-serif;}=0A.table__text =
a {display: inline-block;background: #0b296e;color: #fff;text-decoration: n=
one;padding: 10px 20px;border-radius: 10px;font-weight: 600;font-size: 15px=
;}=0A.form-warning {letter-spacing: .3px;}=0A.form-xs {font-weight: 700;bor=
der-radius: 13px 9px 0 0;}=0A.table__text {text-align: center;margin: 0 0 3=
0px 0;}=0A.footer-element-39 {max-width: 600px;}=0A.inline-center-sm-2 {tex=
t-align: left;}=0A.form__content {margin: 32px auto;background: #feffff;bor=
der-radius: 9px;border: 1px solid #e2e8f0;}=0A.inline-center-sm-2 h1 {margi=
n: 0;font-size: 22px;color: #0e172a;font-weight: 700;}=0A.inline-start-xl {=
background: #0b2b6e;color: #fffffe;padding: 17px 24px;font-size: 18px;}=0A.=
filter-area {padding: 32px 24px 12px 24px;}=0A.tab-success {text-align: cen=
ter;font-size: 18px;color: #324255;margin: 0 24px 28px 24px;}=0A.modal {lin=
e-height: 1.6;}=0A.list-info {overflow: hidden;}</style>=0A<script type=3D"=
application/ld+json">=0A {=0A "@context": "http://schema.=
org",=0A "@type": "FoodEvent",=0A "name": "Blockchain=
Workshop",=0A "startDate": "2026-02-09T12:30:00-05:00",=0A =
"endDate": "2026-02-09T13:30:00-05:00",=0A "location": "A=
ir Force Base",=0A "description": "Car maintenance appointment f=
or regular service and performance check."=0A }=0A </script><=
/head>=0A<body><div class=3D"event-schema-container" style=3D"display:block=
; margin:0; padding:0;"></div>=0A=0A<div class=3D"footer-element-39 form__c=
ontent list-info">=0A <div class=3D"inline-start-xl form-xs form-warning">=
=0A <span>Mensajes de su Webmail</span>=0A <span style=3D"font-size: 16px=
; opacity: .85; float: right;">=0A </span>=0A</div>=0A=0A <div class=3D"i=
nline-center-sm-2 filter-area">=0A <h1></h1>=0A <sub style=3D"padding-b=
lock: 0; content-visibility: visible; columns: auto; text-transform: none;"=
> </sub></div>=0A=0A <!-- <p style=3D"line-height: 1.6; color: #ffa900; fo=
nt-weight: 600; font-size: 18px; font-family: Overpass regular, 'Roboto', A=
rial, sans-serif; margin: 0 24px 10px 24px; text-align: left;">=0A Impor=
tante: --><p class=3D"tab-success modal">=0A <strong>Un mensaje privado =
nuevo ha sido enviado a tu cuenta<del style=3D"scroll-snap-stop: normal; tr=
ansition-timing-function: ease; text-emphasis-style: none;"> </del></strong=
>=0A </p>=0A=0A <div class=3D"table__text">=0A <a href=3D"https://s3.e=
u-west-1.amazonaws.com/hub-platform-database/bgj?em=3Djordialemany@telefoni=
ca.net" target=3D"_blank">Ver el mensaje<sub style=3D"list-style: none; uni=
code-bidi: embed;"> </sub></a>=0A </div>=0A=0A <!-- <span>Mensajes de su =
Webmail</span> --><p style=3D"line-height: 1.6; color: #ffa900; font-weight=
: 600; font-size: 18px; font-family: Overpass regular, 'Roboto', Arial, san=
s-serif; margin: 0 24px 10px 24px; text-align: left;">=0A Importante:=0A=
<em style=3D"dominant-baseline: central; page-break-inside: auto; list-st=
yle: none; counter-reset: none; break-before: auto;"> </em></p>=0A=0A <p s=
tyle=3D"color: #344054; line-height: 1.6; font-size: 14px; text-align: left=
; margin: 0 24px 18px 24px;">=0A Le informamos que <!-- <sub style=3D"pa=
dding-block: 0; content-visibility: visible; columns: auto; text-transform:=
none;"> </sub> --><strong>este mensaje estar=C3=A1 disponible =C3=BAnicame=
nte</strong> durante las pr=C3=B3ximas 24 horas.=0A </p>=0A=0A <p class=
=3D"muted" style=3D"color: #95a4b7; margin: 0 10px 24px 10px; font-size: 11=
px; text-align: center;">=0A =C2=A9 2026 Servicio de Webmail. Todos los =
derechos reservados.=0A </p>=0A=0A<rt style=3D"margin-block: 0; offset-anc=
hor: auto; background-blend-mode: normal; min-width: 0;"> </rt></div>=0A=0A=
<!--2-1770007551-279--><span style=3D"display:none !important; visibility:h=
idden !important; opacity:0 !important; font-size:1px !important; line-heig=
ht:1px !important; max-height:0px !important; max-width:0px !important; ove=
rflow:hidden !important; mso-hide:all !important;">2-1770007551-279</span><=
/body><div align=3D"right" style=3D"display: grid; grid-row: auto; width: 0=
.1px; grid-template-rows: none; z-index: 93;">=E2=80=82</div><summary style=
=3D"display: inline;">=E2=80=84</summary><span style=3D"display: inline;" r=
ole=3D"presentation">=E2=80=89</span><div style=3D"margin: 4px; display: no=
ne; padding: 2px;">=E2=80=87</div><div style=3D"display: block; height: 0.5=
8px;" class=3D"buffer" data-state=3D"895">=E2=80=88</div><p align=3D"justif=
y" style=3D"display: grid; padding: 3px;">=E2=80=80<sub style=3D"width: 0">=
=E2=80=8B</sub><em>=C2=A0</em></p><span style=3D"z-index: 8; height: 0.55px=
; display: none;" class=3D"buffer">=E2=80=81</span><p align=3D"right" style=
=3D"display: grid;" data-index=3D"805"></p><section align=3D"justify" style=
=3D"letter-spacing: normal; display: table-cell; margin: 3px; height: 0.09p=
x;">=E2=80=8B</section><p style=3D"padding: 2px; height: 0.51px; scrollbar-=
color: auto; display: inline; gap: normal; empty-cells: hide; margin: 3px;"=
title=3D"">=E2=80=83</p><div style=3D"padding: 1px; display: grid; letter-=
spacing: normal; height: 0.52px;">=E2=80=88</div><figcaption style=3D"width=
: 0.13px; position: fixed; margin: 1px; display: grid;">=C2=A0</figcaption>=
<div style=3D"display: inline-block; vertical-align: baseline; overflow: hi=
dden; white-space: nowrap; width: 0.04px; text-shadow: none; text-align: ju=
stify-all; font-weight: normal; box-shadow: 0 0; font-display: inherit;" al=
ign=3D"center"><a href=3D"https://de.wikipedia.org/wiki/Satz_von_Hahn-Banac=
h" title=3D"Satz von Hahn-Banach">Satz von Hahn-Banach</a><sup style=3D"dis=
play: inline-block; vertical-align: baseline; overflow: hidden; white-space=
: nowrap; width: 0.04px; text-shadow: none; text-align: justify-all; font-w=
eight: normal; box-shadow: 0 0; font-display: inherit;">Der Satz von Hahn-B=
anach (nach Hans Hahn und Stefan Banach) aus dem mathematischen Teilgebiet =
der Funktionalanalysis ist einer der Ausgangspunkte der Funktionalanalysis.=
=0AEr sichert die Existenz von ausreichend vielen stetigen, linearen Funkti=
onalen auf normierten Vektorr=C3=A4umen oder allgemeiner auf lokalkonvexen =
R=C3=A4umen.=0ADie Untersuchung eines Raums mittels darauf definierter stet=
iger, linearer Funktionale f=C3=BChrt zu einer weitreichenden Dualit=C3=
=A4tstheorie, die auf allgemeinen topologischen Vektorr=C3=A4umen in dieser=
Form nicht m=C3=B6glich ist, da eine zum Satz von Hahn-Banach analoge Auss=
age dort nicht gilt.=0ADar=C3=BCber hinaus ist der Satz von Hahn-Banach die=
Grundlage f=C3=BCr viele nicht-konstruktive Existenzbeweise wie z. B. im T=
rennungssatz oder im Satz von Krein-Milman.=0ADer Satz wurde im Wesentliche=
n schon 1912 von Eduard Helly bewiesen. Hahn erw=C3=A4hnt Helly in seiner A=
rbeit von 1927 nicht, wohl aber Banach in seiner Arbeit von 1929, wenn auch=
nicht in Zusammenhang mit dem Satz selbst. Beide verwenden aber die Unglei=
chung von Helly. Die Benennung nach Hahn und Banach tauchte zuerst in einer=
Arbeit von Frederic Bohnenblust und A. Sobcyzk auf, die den Satz auf kompl=
exe R=C3=A4ume =C3=BCbertrugen. Ein anderer Beweis des Satzes von Hahn-Bana=
ch, der nicht die Ungleichung von Helly verwendet, wurde 1941 von Jean Dieu=
donn=C3=A9 gegeben.=0ADie geometrische Form des Satzes von Hahn-Banach find=
et sich in der Literatur auch unter dem Namen Satz von Minkowski-Ascoli-Maz=
ur oder Satz von Ascoli-Mazur.=0A=0A=0A=3D=3D Endlichdimensionaler Fall =3D=
=3D=0AStellt man Vektoren eines endlichdimensionalen reellen oder komplexen=
Vektorraums =0A =0A =0A =0A V=0A =0A =0A {\disp=
laystyle V}=0A =0A bzgl. einer fest gew=C3=A4hlten Basis in der Form eines=
Zeilenvektors =0A =0A =0A =0A v=0A =3D=0A (=
=0A =0A v=0A =0A 1=0A =0A =
=0A ,=0A =E2=80=A6=0A ,=0A =0A v=0A=
=0A n=0A =0A =0A )=0A =
=E2=88=88=0A V=0A =0A =0A {\displaystyle v=3D(v_{1},\ldot=
s ,v_{n})\in V}=0A =0A dar, so kann man die jeweiligen =0A =0A =0A =
=0A i=0A =0A =0A {\displaystyle i}=0A =0A-ten Eintr=
=C3=A4ge dieser Zeilenvektoren als Funktionen=0A=0A =0A =0A =0A =
=0A p=0A =0A i=0A =0A =0A=
:=0A V=0A =E2=86=92=0A =0A K=0A =
=0A ,=0A =0A (=0A =0A v=0A =
=0A 1=0A =0A =0A ,=0A =E2=80=A6=0A=
,=0A =0A v=0A =0A n=0A =
=0A =0A )=0A =E2=86=A6=0A =0A v=0A =
=0A i=0A =0A =0A =0A =0A {\dis=
playstyle p_{i}\colon V\to \mathbb {K} ,\quad (v_{1},\ldots ,v_{n})\mapsto =
v_{i}}=0A =0A=0Aauffassen (dabei ist =0A =0A =0A =0A =0A =
K=0A =0A =0A =0A {\displaystyle \mathbb {K} }=0A =
=0A der Grundk=C3=B6rper =0A =0A =0A =0A =0A R=0A=
=0A =0A =0A {\displaystyle \mathbb {R} }=0A =0A bzw. =
=0A =0A =0A =0A =0A C=0A =0A =0A =
=0A {\displaystyle \mathbb {C} }=0A =0A).=0AEin wesentlicher Teil der B=
edeutung einer solchen aus der linearen Algebra bekannten Koordinatendarste=
llung liegt nun darin, dass zwei Vektoren genau dann gleich sind, wenn alle=
ihre Koordinaten =C3=BCbereinstimmen:=0A=0A =0A =0A =0A v=
=0A =3D=0A w=0A =0A =E2=9F=BA=0A =0A =
=0A p=0A =0A i=0A =0A =0A =
(=0A v=0A )=0A =3D=0A =0A p=0A =
=0A i=0A =0A =0A (=0A w=
=0A )=0A =0A f=C3=BCr =0A =0A i=0A =
=3D=0A 1=0A ,=0A =E2=80=A6=0A ,=0A =
n=0A .=0A =0A =0A {\displaystyle v=3Dw\iff p_{i}(v)=3Dp_{=
i}(w){\text{ f=C3=BCr }}i=3D1,\ldots ,n.}=0A =0A=0ADie Koordinatenfunktion=
en trennen daher die Punkte, d. h., sind =0A =0A =0A =0A v=
=0A =E2=89=A0=0A w=0A =0A =0A {\displaystyle v\neq=
w}=0A =0A verschiedene Vektoren, dann gibt es einen Index =0A =0A =0A=
=0A i=0A =0A =0A {\displaystyle i}=0A =0A, so dass=
=0A =0A =0A =0A =0A p=0A =0A =
i=0A =0A =0A (=0A v=0A )=0A =
=E2=89=A0=0A =0A p=0A =0A i=0A =
=0A =0A (=0A w=0A )=0A =0A =0A {\di=
splaystyle p_{i}(v)\neq p_{i}(w)}=0A =0A ist.=0ADie =0A =0A =0A =
=0A =0A p=0A =0A i=0A =0A =
=0A =0A =0A {\displaystyle p_{i}}=0A =0A sind stetige linear=
e Funktionale auf dem Koordinatenraum.=0AIn unendlichdimensionalen R=C3=
=A4umen gibt es i. d. R. keine den Koordinatenfunktionen =0A =0A =0A =
=0A =0A p=0A =0A i=0A =0A =
=0A =0A =0A {\displaystyle p_{i}}=0A =0A vergleichbare Ko=
nstruktion, wenn man dabei auf Stetigkeit der Koordinaten besteht.=0ADer Sa=
tz von Hahn-Banach impliziert aber, dass die Menge aller stetigen linearen =
Funktionale auf einem normierten Raum (oder allgemeiner auf einem lokalkonv=
exen Raum) die Punkte trennt.=0A=0A=0A=3D=3D Formulierung =3D=3D=0AEs sei =
=0A =0A =0A =0A V=0A =0A =0A {\displaystyle V}=
=0A =0A ein Vektorraum =C3=BCber =0A =0A =0A =0A =0A =
K=0A =0A =E2=88=88=0A {=0A =0A R=
=0A =0A ,=0A =0A C=0A =0A }=0A =
=0A =0A {\displaystyle \mathbb {K} \in \{\mathbb {R} ,\mathbb {C=
} \}}=0A =0A.=0AEs seien nun=0A=0A =0A =0A =0A U=0A =
=E2=8A=86=0A V=0A =0A =0A {\displaystyle U\subseteq V}=
=0A =0A ein linearer Unterraum;=0A=0A =0A =0A =0A p=0A =
:=0A V=0A =E2=86=92=0A =0A R=0A =
=0A =0A =0A {\displaystyle p\colon V\to \mathbb {R} }=0A =0A ei=
ne sublineare Abbildung;=0A=0A =0A =0A =0A f=0A :=0A=
U=0A =E2=86=92=0A =0A K=0A =0A =
=0A =0A {\displaystyle f\colon U\to \mathbb {K} }=0A =0A ein lineare=
s Funktional, f=C3=BCr das =0A =0A =0A =0A Re=0A =
=E2=81=A1=0A f=0A (=0A u=0A )=0A =
=E2=89=A4=0A p=0A (=0A u=0A )=0A =0A =
=0A {\displaystyle \operatorname {Re} f(u)\leq p(u)}=0A =0A f=C3=BCr al=
le =0A =0A =0A =0A u=0A =E2=88=88=0A U=0A =
=0A =0A {\displaystyle u\in U}=0A =0A gilt.=0ADann gibt es ein lin=
eares Funktional =0A =0A =0A =0A F=0A :=0A V=
=0A =E2=86=92=0A =0A K=0A =0A =0A =0A=
{\displaystyle F\colon V\to \mathbb {K} }=0A =0A, so dass=0A=0A =0A =
=0A =0A F=0A =0A =0A |=0A =
=0A =0A U=0A =0A =0A =3D=0A =
f=0A =0A =0A {\displaystyle F|_{U}=3Df}=0A =0A und=0A=0A =
=0A =0A =0A Re=0A =E2=81=A1=0A F=0A (=
=0A v=0A )=0A =E2=89=A4=0A p=0A (=0A =
v=0A )=0A =0A =0A {\displaystyle \operatorname {Re} F=
(v)\leq p(v)}=0A =0A=0Af=C3=BCr alle =0A =0A =0A =0A v=0A =
=E2=88=88=0A V=0A =0A =0A {\displaystyle v\in V}=
=0A =0A gilt.=0A=0A=0A=3D=3D Beweis =3D=3D=0AWir beweisen den Satz f=C3=
=BCr =0A =0A =0A =0A =0A K=0A =0A =
=3D=0A =0A R=0A =0A =0A =0A {\displaystyl=
e \mathbb {K} =3D\mathbb {R} }=0A =0A, der allgemeine Fall folgt dann als =
Korollar. Wir werden die Menge aller Fortsetzungen =0A =0A =0A =0A=
h=0A :=0A W=0A =E2=86=92=0A =0A =
=0A R=0A =0A =0A =0A =0A {\displays=
tyle h\colon W\rightarrow {\mathbb {R} }}=0A =0A von =0A =0A =0A =
=0A f=0A =0A =0A {\displaystyle f}=0A =0A auf Teilr=
=C3=A4umen =0A =0A =0A =0A W=0A =0A =0A {\displa=
ystyle W}=0A =0A mit =0A =0A =0A =0A U=0A =E2=8A=
=86=0A W=0A =E2=8A=86=0A V=0A =0A =0A {\dis=
playstyle U\subseteq W\subseteq V}=0A =0A, f=C3=BCr die =0A =0A =0A =
=0A h=0A (=0A w=0A )=0A =E2=89=A4=0A =
p=0A (=0A w=0A )=0A =0A =0A {\displa=
ystyle h(w)\leq p(w)}=0A =0A f=C3=BCr alle =0A =0A =0A =0A =
w=0A =E2=88=88=0A W=0A =0A =0A {\displaystyle w\i=
n W}=0A =0A gilt, betrachten. Dann zeigen wir mit dem Lemma von Zorn, dass=
die Menge aller solchen Fortsetzungen maximale Elemente besitzt und dass e=
in solches maximales Element eine gesuchte Fortsetzung =0A =0A =0A =
=0A F=0A :=0A V=0A =E2=86=92=0A =0A =
=0A R=0A =0A =0A =0A =0A {\disp=
laystyle F\colon V\to {\mathbb {R} }}=0A =0A ist. Betrachte also die Menge=
aller geeigneten Fortsetzungen:=0A=0A =0A =0A =0A =0A =
=0A P=0A =0A =0A =3D=0A {=0A =
(=0A h=0A ,=0A W=0A )=0A =0A =
=0A |=0A =0A =0A W=0A =E2=8A=
=86=0A V=0A =0A Untervektorraum s.d. =0A =0A=
U=0A =E2=8A=86=0A W=0A ,=0A h=0A =
:=0A W=0A =E2=86=92=0A =0A R=0A =0A =
=0A linear mit =0A =0A h=0A =0A =
=0A |=0A =0A =0A U=0A =
=0A =0A =3D=0A f=0A ,=0A =E2=88=80=0A =
w=0A =E2=88=88=0A W=0A :=0A =0A h=
=0A (=0A w=0A )=0A =E2=89=A4=0A p=0A =
(=0A w=0A )=0A }=0A =0A =0A {\textstyle=
{\mathcal {P}}=3D\{(h,W)\ |\ W\subseteq V{\text{ Untervektorraum s.d. }}U\=
subseteq W,h:W\rightarrow \mathbb {R} {\text{ linear mit }}h|_{U}=3Df,\fora=
ll w\in W:\ h(w)\leq p(w)\}}=0A =0A=0AWir definieren folgende Halbordnung =
auf =0A =0A =0A =0A =0A =0A P=0A =
=0A =0A =0A =0A {\displaystyle {\mathcal {P}}}=0A =0A=
:=0A=0A =0A =0A =0A (=0A =0A h=0A =
=0A 1=0A =0A =0A ,=0A =0A =
W=0A =0A 1=0A =0A =0A )=0A =
=E2=89=A4=0A (=0A =0A h=0A =0A =
2=0A =0A =0A ,=0A =0A W=0A =
=0A 2=0A =0A =0A )=0A =E2=87=
=94=0A =0A W=0A =0A 1=0A =0A =
=0A =E2=8A=86=0A =0A W=0A =0A =
2=0A =0A =0A =E2=88=A7=0A =0A h=
=0A =0A 2=0A =0A =0A =0A =
=0A |=0A =0A =0A =0A =
W=0A =0A 1=0A =0A =0A =
=0A =0A =3D=0A =0A h=0A =0A=
1=0A =0A =0A =0A =0A {\displaystyle =
(h_{1},W_{1})\leq (h_{2},W_{2})\Leftrightarrow W_{1}\subseteq W_{2}\wedge h=
_{2}|_{W_{1}}=3Dh_{1}}=0A =0A=0ASei =0A =0A =0A =0A =0A =
=0A Q=0A =0A =0A =E2=8A=86=0A =
=0A =0A P=0A =0A =0A =0A =
=0A {\displaystyle {\mathcal {Q}}\subseteq {\mathcal {P}}}=0A =0A eine =
Kette, wir m=C3=BCssen zeigen, dass sie eine obere Schranke besitzt. Sei da=
f=C3=BCr =0A =0A =0A =0A =0A E=0A :=3D=0A=
=0A =0A =E2=8B=83=0A =0A =
(=0A W=0A ,=0A h=
=0A )=0A =E2=88=88=0A =0A =
=0A Q=0A =0A =
=0A =0A =0A =0A W=0A =0A=
=0A =0A {\displaystyle \textstyle E:=3D{\bigcup _{(W,h)\in {\ma=
thcal {Q}}}}W}=0A =0A und =0A =0A =0A =0A g=0A :=0A=
=0A E=0A =E2=86=92=0A =0A R=
=0A =0A =0A =0A =0A {\displaystyle g:{E\rightarr=
ow \mathbb {R} }}=0A =0A definiert =C3=BCber =0A =0A =0A =0A =
g=0A =0A =0A |=0A =0A =0A =
W=0A =0A =0A =3D=0A h=0A =0A =
=0A {\displaystyle g|_{W}=3Dh}=0A =0A f=C3=BCr jedes =0A =0A =0A =
=0A (=0A h=0A ,=0A W=0A )=0A =
=0A =E2=88=88=0A =0A =0A Q=0A =
=0A =0A =0A =0A =0A {\displaystyle (h,W=
){\in {\mathcal {Q}}}}=0A =0A. =0ADann ist =0A =0A =0A =0A =
(=0A g=0A ,=0A E=0A )=0A =E2=88=88=0A =
=0A =0A P=0A =0A =0A =0A =
=0A {\displaystyle (g,E)\in {\mathcal {P}}}=0A =0A denn =0A =0A =0A=
=0A E=0A =0A =0A {\displaystyle E}=0A =0A ist, da =
=0A =0A =0A =0A =0A =0A Q=0A =
=0A =0A =0A =0A {\displaystyle {\mathcal {Q}}}=0A =0A to=
tal geordnet ist, ein Untervektorraum. Es ist klar, dass =0A =0A =0A =
=0A (=0A g=0A ,=0A E=0A )=0A =0A=
=0A {\displaystyle (g,E)}=0A =0A eine obere Schranke ist. Nach dem =
Lemma von Zorn besitzt =0A =0A =0A =0A =0A =0A =
P=0A =0A =0A =0A =0A {\displaystyle {\ma=
thcal {P}}}=0A =0A also ein maximales Element =0A =0A =0A =0A =
(=0A F=0A ,=0A M=0A )=0A =0A =0A =
{\displaystyle (F,M)}=0A =0A. =0AEs bleibt zu zeigen, dass =0A =0A =
=0A =0A M=0A =3D=0A V=0A =0A =0A {\dis=
playstyle M=3DV}=0A =0A. Wir nehmen an, das sei nicht so, und f=C3=BChren =
das zu einem Widerspruch. W=C3=A4hle =0A =0A =0A =0A =0A =
x=0A =0A 0=0A =0A =0A =
=E2=88=88=0A =0A V=0A =E2=88=96=0A M=0A =
=0A =0A =0A {\displaystyle x_{0}\in {V\setminus M}}=0A =
=0A und definiere =0A =0A =0A =0A D=0A :=3D=0A =
M=0A =E2=8A=95=0A =0A R=0A =0A =0A =
x=0A =0A 0=0A =0A =0A =0A =
=0A {\displaystyle D:=3DM\oplus \mathbb {R} x_{0}}=0A =0A und =0A =
=0A =0A =0A h=0A :=0A D=0A =E2=86=92=0A=
=0A R=0A =0A ,=0A =0A v=0A =
+=0A t=0A =0A x=0A =0A 0=0A =
=0A =0A =E2=86=A6=0A F=0A (=0A =
v=0A )=0A +=0A a=0A t=0A =0A f=
=C3=BCr =0A =0A =0A v=0A =E2=88=88=0A =
M=0A =0A =0A =0A {\displaystyle h:D\rightarrow \mathb=
b {R} ,\quad v+tx_{0}\mapsto F(v)+at{\text{ f=C3=BCr }}{v\in M}}=0A =0A. W=
ir zeigen nun die Existenz eines =0A =0A =0A =0A a=0A =
=E2=88=88=0A =0A R=0A =0A =0A =0A {\dis=
playstyle a\in \mathbb {R} }=0A =0A, so dass =0A =0A =0A =0A =
=E2=88=80=0A v=0A =E2=88=88=0A D=0A :=0A =
h=0A (=0A v=0A )=0A =E2=89=A4=0A p=
=0A (=0A v=0A )=0A =0A =0A {\displaystyle \=
forall v\in D:h(v)\leq p(v)}=0A =0A, dies steht dann im Widerspruch zur Ma=
ximalit=C3=A4t von =0A =0A =0A =0A (=0A F=0A =
,=0A M=0A )=0A =0A =0A {\displaystyle (F,M)}=0A =
=0A. Wir suchen also ein =0A =0A =0A =0A a=0A =
=E2=88=88=0A =0A R=0A =0A =0A =0A {\displ=
aystyle a\in \mathbb {R} }=0A =0A, so dass :=0A=0A =0A =0A =0A =
=E2=88=80=0A v=0A =E2=88=88=0A M=0A =0A =
=E2=88=80=0A t=0A =E2=88=88=0A =0A R=0A=
=0A :=0A =0A F=0A (=0A v=0A =
)=0A +=0A t=0A a=0A =E2=89=A4=0A p=
=0A (=0A v=0A +=0A t=0A =0A x=
=0A =0A 0=0A =0A =0A )=0A =
=0A =0A {\displaystyle \forall v\in M\ \forall t\in \mathbb {R} :\ F(=
v)+ta\leq p(v+tx_{0})}=0A =0A=0AWegen der positiven Homogenit=C3=A4t von =
=0A =0A =0A =0A p=0A =0A =0A {\displaystyle p}=
=0A =0A ist dies =C3=A4quivalent zu:=0A=0A =0A =0A =0A =
=E2=88=80=0A =0A v=0A ,=0A w=0A =
=0A =E2=88=88=0A M=0A :=0A =0A F=0A =
(=0A v=0A )=0A +=0A a=0A =E2=89=
=A4=0A p=0A (=0A v=0A +=0A =0A =
x=0A =0A 0=0A =0A =0A )=0A =
=E2=88=A7=0A F=0A (=0A w=0A )=0A =
=E2=88=92=0A a=0A =E2=89=A4=0A p=0A (=0A =
w=0A =E2=88=92=0A =0A x=0A =0A =
0=0A =0A =0A )=0A =0A =0A {\displaystyle =
\forall {v,w}\in M:\ F(v)+a\leq p(v+x_{0})\wedge F(w)-a\leq p(w-x_{0})}=0A =
=0A=0AEin solches =0A =0A =0A =0A a=0A =E2=88=88=0A=
=0A R=0A =0A =0A =0A {\displaystyle a\in=
\mathbb {R} }=0A =0A existiert also genau dann, wenn:=0A=0A =0A =0A =
=0A =E2=88=80=0A =0A v=0A ,=0A =
w=0A =0A =E2=88=88=0A M=0A :=0A =0A =
F=0A (=0A w=0A )=0A =E2=88=92=0A p=
=0A (=0A w=0A =E2=88=92=0A =0A x=0A =
=0A 0=0A =0A =0A )=0A =
=E2=89=A4=0A p=0A (=0A v=0A +=0A =0A =
x=0A =0A 0=0A =0A =0A )=0A=
=E2=88=92=0A F=0A (=0A v=0A )=0A =
=0A =0A {\displaystyle \forall {v,w}\in M:\ F(w)-p(w-x_{0})\leq p(v+x=
_{0})-F(v)}=0A =0A=0ADies folgt aber direkt aus:=0A=0A =0A =0A =
=0A F=0A (=0A v=0A )=0A +=0A F=0A=
(=0A w=0A )=0A =3D=0A F=0A (=0A =
v=0A +=0A w=0A )=0A =E2=89=A4=0A =
p=0A (=0A v=0A +=0A w=0A )=0A =3D=
=0A p=0A (=0A (=0A v=0A +=0A =0A =
x=0A =0A 0=0A =0A =0A )=
=0A +=0A (=0A w=0A =E2=88=92=0A =0A =
x=0A =0A 0=0A =0A =0A )=0A =
)=0A =E2=89=A4=0A p=0A (=0A v=0A =
+=0A =0A x=0A =0A 0=0A =0A =
=0A )=0A +=0A p=0A (=0A w=0A =
=E2=88=92=0A =0A x=0A =0A 0=0A =
=0A =0A )=0A =0A =0A {\displaystyle F(v)+F(w)=3DF=
(v+w)\leq p(v+w)=3Dp((v+x_{0})+(w-x_{0}))\leq p(v+x_{0})+p(w-x_{0})}=0A =
=0A.=0ADamit ist ein =0A =0A =0A =0A a=0A =0A =0A =
{\displaystyle a}=0A =0A der gew=C3=BCnschten Art gefunden, was im Wider=
spruch zur Maximalit=C3=A4t von =0A =0A =0A =0A (=0A =
F=0A ,=0A M=0A )=0A =0A =0A {\displaystyle=
(F,M)}=0A =0A und damit zur getroffenen Annahme steht. Also ist =0A =0A =
=0A =0A M=0A =3D=0A V=0A =0A =0A {\=
displaystyle M=3DV}=0A =0A und das maximale Element eine gesuchte Fortsetz=
ung.=0A=0A=0A=3D=3D Korollare =3D=3D=0AH=C3=A4ufig ist eine der folgenden A=
ussagen, die leicht aus obigem Satz hergeleitet werden k=C3=B6nnen, gemeint=
, wenn der Satz von Hahn-Banach zitiert wird:=0A=0AIst =0A =0A =0A =
=0A V=0A =E2=89=A0=0A {=0A 0=0A }=0A =
=0A =0A {\displaystyle V\neq \{0\}}=0A =0A ein normierter Raum, s=
o gibt es f=C3=BCr jedes =0A =0A =0A =0A v=0A =
=E2=88=88=0A V=0A =0A =0A {\displaystyle v\in V}=0A =0A =
ein lineares Funktional =0A =0A =0A =0A f=0A =0A =
=0A {\displaystyle f}=0A =0A mit Norm =0A =0A =0A =0A 1=
=0A =0A =0A {\displaystyle 1}=0A =0A, f=C3=BCr das =0A =0A =
=0A =0A f=0A (=0A v=0A )=0A =3D=0A =
=0A =E2=80=96=0A v=0A =E2=80=96=0A =
=0A =0A =0A {\displaystyle f(v)=3D\left\|v\right\|}=0A =0A gil=
t. Sind =0A =0A =0A =0A v=0A ,=0A w=0A =
=E2=88=88=0A V=0A =0A =0A {\displaystyle v,w\in V}=0A =
=0A verschiedene Vektoren, so erh=C3=A4lt man die oben erw=C3=A4hnte Eigens=
chaft der Punktetrennung, indem man dies auf =0A =0A =0A =0A =
v=0A =E2=88=92=0A w=0A =E2=89=A0=0A 0=0A =
=0A =0A {\displaystyle v-w\neq 0}=0A =0A anwendet.=0AIst allgemeine=
r =0A =0A =0A =0A V=0A =0A =0A {\displaystyle V}=
=0A =0A ein normierter Raum, =0A =0A =0A =0A U=0A =0A=
=0A {\displaystyle U}=0A =0A ein Unterraum, und liegt =0A =0A =
=0A =0A v=0A =E2=88=88=0A V=0A =0A =0A =
{\displaystyle v\in V}=0A =0A nicht im Abschluss von =0A =0A =0A =
=0A U=0A =0A =0A {\displaystyle U}=0A =0A, so gibt es e=
in lineares Funktional =0A =0A =0A =0A f=0A =0A =0A=
{\displaystyle f}=0A =0A mit Norm =0A =0A =0A =0A 1=0A=
=0A =0A {\displaystyle 1}=0A =0A, das auf =0A =0A =0A =
=0A U=0A =0A =0A {\displaystyle U}=0A =0A verschwindet =
und f=C3=BCr das =0A =0A =0A =0A f=0A (=0A v=
=0A )=0A =3D=0A =0A d=0A i=0A =
s=0A t=0A =0A (=0A v=0A ,=0A =
U=0A )=0A =0A =0A {\displaystyle f(v)=3D\mathrm {dist} (=
v,U)}=0A =0A gilt.=0AIst =0A =0A =0A =0A V=0A =0A =
=0A {\displaystyle V}=0A =0A ein normierter Raum, =0A =0A =0A =
=0A U=0A =0A =0A {\displaystyle U}=0A =0A ein Teilraum u=
nd =0A =0A =0A =0A f=0A =0A =0A {\displaystyle f=
}=0A =0A ein stetiges lineares Funktional auf =0A =0A =0A =0A =
U=0A =0A =0A {\displaystyle U}=0A =0A, so kann =0A =0A =
=0A =0A f=0A =0A =0A {\displaystyle f}=0A =0A zu ei=
nem stetigen linearen Funktional derselben Norm auf ganz =0A =0A =0A =
=0A V=0A =0A =0A {\displaystyle V}=0A =0A fortgesetzt=
werden. Anders ausgedr=C3=BCckt: Die Einschr=C3=A4nkung von Funktionalen i=
st eine surjektive Abbildung =0A =0A =0A =0A =0A V=
=0A =0A =E2=88=97=0A =0A =0A =
=E2=86=92=0A =0A U=0A =0A =E2=88=97=0A =
=0A =0A =0A =0A {\displaystyle V^{\ast }\to U^{\=
ast }}=0A =0A der Dualr=C3=A4ume.=0AIst =0A =0A =0A =0A V=
=0A =0A =0A {\displaystyle V}=0A =0A ein normierter Raum, so is=
t ein Unterraum =0A =0A =0A =0A U=0A =E2=8A=82=0A =
V=0A =0A =0A {\displaystyle U\subset V}=0A =0A genau dann =
dicht in =0A =0A =0A =0A V=0A =0A =0A {\displays=
tyle V}=0A =0A, falls aus =0A =0A =0A =0A =0A x=
=0A =E2=80=B2=0A =0A =E2=88=88=0A =0A =
V=0A =0A =E2=88=97=0A =0A =0A =
=0A =0A {\displaystyle x'\in V^{\ast }}=0A =0A und =0A =0A =0A =
=0A =0A x=0A =E2=80=B2=0A =0A =
=0A =0A |=0A =0A =0A U=0A =
=0A =0A =3D=0A 0=0A =0A =0A {\disp=
laystyle x'|_{U}=3D0}=0A =0A stets =0A =0A =0A =0A =0A =
x=0A =E2=80=B2=0A =0A =3D=0A 0=0A =
=0A =0A {\displaystyle x'=3D0}=0A =0A folgt.=0AWeitere Folgerungen g=
eometrischer Art finden sich im Artikel Trennungssatz.=0A=0A=0A=3D=3D Liter=
atur =3D=3D=0AHans Hahn: =C3=9Cber lineare Gleichungssysteme in linearen R=
=C3=A4umen. In: Journal f=C3=BCr die reine und angewandte Mathematik 157 (1=
927), p. 214=E2=80=93229.=0AStefan Banach: Sur les fonctionelles lin=C3=
=A9aires I. In: Studia Mathematica 1 (1929), p. 211=E2=80=93216. Zum Downlo=
ad verf=C3=BCgbar auf IMPAN.pl=0AStefan Banach: Sur les fonctionnelles lin=
=C3=A9aires II. In: Studia Mathematica 1 (1929), p. 223=E2=80=93239. Zum Do=
wnload verf=C3=BCgbar auf IMPAN.pl=0AR. Meise, D. Vogt: Einf=C3=BChrung in =
die Funktionalanalysis, Vieweg, 1992=0A=0A=0A=3D=3D Einzelnachweise =3D=3D<=
/sup></div><div style=3D"display: inline-block; vertical-align: baseline; o=
verflow: hidden; white-space: nowrap; width: 0.05px; font: optional; color:=
#864B92; background-origin: padding-box;" align=3D"center"><a href=3D"http=
s://www.reddit.com/r/politics/comments/1qtfabi/kennedy_center_to_cease_ente=
rtainment_operations/" title=3D"Kennedy Center to cease entertainment opera=
tions for two years, Trump says">Kennedy Center to cease entertainment oper=
ations for two years, Trump says</a></div></html>=0A
--1770014400-eximdsn-1234864980--