linux-l: harmonische Analyse

[Axel Stammler]

Also, so weit ich mich erinnere, kann man das nicht beweisen, weil es zu
den Anfangsvoraussetzungen gehört: n-dim. Raum -> metrisch -> hat Matrik ->
Metrik ist, wenn... u.a. Dreiecksungleichung gilt. Das ist die Definition,
deshalb ohne Beweis. Muss man als Voraussetzung vorm Beweis nennen.

Axel

[Charset iso-8859-1 unsupported, filtering to ASCII...]
> Nun, hast Du schon bewiesen, dass 1>0 ist ? Ernsthaft, das ist doch
> klar, links steht der Grenzwert irgenwelcher Summen (Riemand-Integral
> oder sowas) und dann ist das die Dreiecksungleichung, und die gilt
> wohl auch im Komplexen, denn der komplexe Raum ist doch wohl ein
> metrischer.
> 
> > Und ich habe in meinen B_chern noch nichteinmal diesen Satz, geschweige
> > denn seinen Beweis gefunden.
> 
> Weil es wohl offensichtlich ist, fuerchte ich.
> 
> > Allerdings sollte er gelten, denn es handelt
> > sich prinzipiell um die Dreiecksungleichung f_r die Addition.
> 
> Ebent.
> 
> > Hast Du ihn parat oder einen Literaturhinweis? Bin auch gerade nochmal
> > ordentlich am Denken und Suchen...
> 
> Ich habe ueberhaupt keine Mathebuecher mehr. ;-)
> 
> Gruss,
> 
> Jens.