Zum Inhalt springen

Rademacherfunktionen

aus Wikipedia, der freien Enzyklopädie
Datei:Rademacherfunktionen.png
Die ersten drei Rademacherfunktionen

Die Rademacherfunktionen, benannt nach Hans Rademacher, sind für jede natürliche Zahl <math>n</math> auf dem (halboffenen) Einheitsintervall [0,1) definierte Funktionen, die nur die Werte −1 und 1 annehmen.

Definition

Die <math>n</math>-te Rademacherfunktion wird definiert durch:

<math>r_n(t) := (-1)^k\,</math>, falls <math>\frac{k}{2^n} \leq t < \frac{k+1}{2^n}</math> gilt (für ein <math>k</math> mit <math>0 \leq k < 2^n-1</math>).

Alternativ kann man die <math>n</math>-te Rademacherfunktion durch

<math>r_n(t) := \sgn\big(\sin\big( 2^n \pi t \big)\big)</math>

definieren. Diese Definition ist äquivalent zur ersten Definition für alle Zahlen <math>t</math>, die nicht von der Form <math>k/2^n\,</math> sind. Wenn <math>t</math> diese Form hat, so ist <math>\sin\left( 2^n \pi t \right)=0</math> und daher verschwindet auch das Vorzeichen (sgn). Der Unterschied betrifft jedoch für jedes <math>n</math> nur endlich viele <math>t</math> und spielt daher z. B. in Funktionenräumen wie <math>L^2([0,1])</math> keine Rolle (da hier die Funktionen auf Nullmengen beliebig verändert werden können).

In der Literatur werden gelegentlich die Rademacherfunktionenen auch außerhalb des Basisintervalls periodisch fortgesetzt und die Definition der Rademacherfunktionen erfolgt mit Bezug zu den Walsh-Kaczmarz-Funktionen „Walsh-Sinus“ <math>\operatorname{sir}</math> und „Walsh-Cosinus“ <math>\operatorname{cor}</math> als:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

<math> \operatorname{sir}(x) := (-1)^{\lfloor 2x \rfloor} = \operatorname{sign}(\sin (2\pi x))</math>
<math> \operatorname{cor}(x) := (-1)^{\lfloor 2x + \frac{1}{2}\rfloor} = \operatorname{sign}(\cos (2\pi x))</math>

Die Rademacherfunktionen sind dann in diesem Zusammenhang als Paar definiert als:

<math>\operatorname{sir}(2^n x)</math>
<math>\operatorname{cor}(2^n x)</math>

Mit obiger Festlegung lassen sich leichter Beziehungen aufstellen – ähnlich wie bei den trigonometrischen Funktionen – wie beispielsweise:

<math>\operatorname{sir}(x) \operatorname{cor}(x) = \operatorname{sir}(2x)</math>

Beispiele

Für die Funktion <math>r_1(t)\,</math> gilt also:

<math>r_1(t) =

\begin{cases} 

1 \quad & 0 \leq  t < 1/2,\\

-1 & 1/2 \leq t < 1, \end{cases}</math>

und für die Funktion <math>r_2(t)\,</math>:

<math>r_2(t) = \begin{cases}
1 \quad & 0 \leq  t < 1/4,\\

-1 & 1/4 \leq t < 1/2,\\ 

1 \quad & 1/2 \leq  t < 3/4,\\

-1 & 3/4 \leq t < 1.\\ \end{cases}</math>

Allgemein ordnet die <math>n</math>-te Rademacher-Funktion einer Zahl <math>t</math> im Einheitsintervall eine −1 zu, wenn die <math>n</math>-te Ziffer in der Binärdarstellung von <math>t</math> eine 1 ist, und eine 1, falls diese Ziffer 0 ist.<ref>Diese Beschreibung ist allerdings mehrdeutig für Zahlen der Form <math>t=k/2^n</math> (die auch dyadische Rationalzahlen genannt werden). Diese Zahlen haben zwei Binärdarstellungen (Bsp.: 1/2 = 0,12 = 0,0111…2).</ref> Zum Beispiel gilt

<math>r_1(0{,}375) = r_1(0{,} {\color{red}0} 11_2)=1</math>

und

<math>r_2(0{,}375) = r_2(0,0 {\color{red} 1} 1_2) =-1</math>.

Rademachersystem

Die Rademacherfunktionen bilden ein Orthonormalsystem des Raums der quadratintegrierbaren Funktionen <math>L^2([0,1])</math>. Das heißt, es gilt

<math>\int_0^1 r_n(x) r_m(x) \mathrm{d} x = \delta_{mn}</math>,

wobei <math>\delta_{mn}</math> das Kronecker-Delta ist. Dieses Orthonormalsystem trägt den Namen Rademachersystem, es ist jedoch keine Orthonormalbasis von <math>L^2([0,1])</math>.

Normale Zahlen

Die Zahl <math>t \in [0,1)</math> heißt einfach normal zur Basis 2 (siehe auch normale Zahl), wenn die beiden Ziffern 0 und 1 in ihrer Binärdarstellung gleich häufig vorkommen. Die Tatsache, dass fast alle Zahlen einfach normal sind, kann man mit Hilfe der Rademacherfunktionen so beschreiben:

Es gilt für fast alle <math>t</math> in <math>[0,1)</math>

<math>\lim_{n \to \infty}\frac{r_1(t) + \cdots + r_n(t)}{n}=0.</math>

Interpretiert man die Binärdarstellung jeder der Zahlen im Einheitsintervall als unendliche Folge von Münzwürfen (Bernoulli-Prozess mit <math>p = 1/2</math>), so ist das gerade die Aussage des starken Gesetzes der großen Zahlen.

Chintschin-Ungleichung

{{#if: Chintschin-Ungleichung|{{#ifexist:Chintschin-Ungleichung|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Eine einfache Version dieser Ungleichung, die nach Alexander Jakowlewitsch Chintschin benannt ist und in der die Rademacherfunktionen <math>r_n(t)\,</math> vorkommen, lautet wie folgt.<ref>{{#if:2016-03-05|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Peter Karlhuber-Vöckl|Peter Karlhuber-Vöckl: }}{{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C{{#if:Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1=https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen}}]{{#if:PDF; 1,2 MB| (PDF; 1,2 MB)}}{{#if:Diplom-Arbeit| Diplom-Arbeit{{#invoke:Vorlage:Internetquelle|Endpunkt|titel=Diplom-Arbeit}}}}}}|{{#if:http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen}}}}|[{{#invoke:URLutil|getNormalized|1=http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen}}}}]}}{{#if:PDF; 1,2 MB| (PDF; 1,2 MB{{#if:Diplom-ArbeitUniversität Linz2004-10https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}}}} 

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}S. 9| ; 
              | )}}}}}}{{#if:Diplom-Arbeit| Diplom-Arbeit{{#invoke:Vorlage:Internetquelle|Endpunkt|titel=Diplom-Arbeit}}}}}}}}{{#if:http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}%7C%7C}}}}{{#if:Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen|{{#if:{{#invoke:WLink|isValidLinktext|1=Orthonormale Systeme, Singuläre Integrale und Fastdiagonale Matrizen|lines=0}}||}}}}{{#if: Universität Linz| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Universität Linz}}}}{{#if: | {{{hrsg}}}{{#if: 2004-10https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C,%7C{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: 2004-10| {{#if:{{#invoke:DateTime|format|2004-10|noerror=1}}
            |{{#invoke:DateTime|format|2004-10|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2004-10|class=Zitationswartung}} }}{{#if: https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C,%7C{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C,%7C{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf{{#invoke:TemplUtl%7Cfaculty%7C}}%7C+{{#if:2004-10%7C{{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7Carchiviert%7Cehemals}}%7C{{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7CArchiviert%7CEhemals}}}}+{{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7Cvom%7Cim}}+Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: 2016-03-05| am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|2016-03-05{{#if:2263426||(?)}}}}}}{{#if: 2026-04-13|;}}}}{{#if: 2026-04-13| {{#if:2004-10https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf{{#invoke:TemplUtl%7Cfaculty%7C}}%7Cabgerufen%7CAbgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2026-04-13 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2026-04-13|class=Zitationswartung}} }} {{#invoke:DateTime|format|2026-04-13|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}S. 9|{{#if:Diplom-ArbeitUniversität Linz2004-10https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}}}}
       |  (
       | {{#if:PDF; 1,2 MB | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: S. 9|{{#ifeq:{{#if:de|de|de}}|de||, }}S. 9}})}}{{#if: 2004-10https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf{{#if: 2026-04-13 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}} }}S. 9|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7C%7C{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:https://web.archive.org/web/20160305074535/http://www.jku.at/analysis/content/e83758/employee_groups_wiss83763/employees83765/subdocs166640/content170250/Karlhuber_ger.pdf%7CVorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Ist <math>(a_n)_n</math> eine Folge reeller Zahlen, so gilt für jede natürliche Zahl <math>N</math>

<math>\int_0^1\left|\sum_{n=1}^N a_n r_n(t)\right|\mathrm{d}t \ge \frac{1}{\sqrt{2}}\left(\sum_{n=1}^N a_n^2\right)^{1/2}.</math>

Rademacher-Mittelung

Sind <math>E</math> und <math>F</math> Vektorräume, so können die Rademacherfunktionen eingesetzt werden, um alternative Darstellungen von Elementen aus dem Tensorprodukt <math>E \otimes F</math> zu finden. Es gilt für alle <math>x_1,\ldots,x_n \in E</math> und <math>y_1,\ldots, y_n \in F</math>:

<math>\sum_{i=1}^n x_i \otimes y_i = \int_0^1 \left( \sum_{i=1}^n r_i(t) x_i \right) \otimes \left( \sum_{i=1}^n r_i(t) y_i \right) \,\mathrm{d}t</math>.

Diese Formel nennt man Rademacher-Mittelung. Sie kann verwendet werden, um Normen des projektiven Tensorproduktes normierter Räume abzuschätzen.<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Lemma 2.22: Rademacher averaging</ref>

Siehe auch

Literatur

  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • {{#invoke:Vorlage:Literatur|f}}
  • Donald E. Knuth: The Art of Computer Programming. Volume 4, A: Combinatorial algorithms. Part 1. Addison-Wesley, Upper Saddle River NJ u. a. 2011, ISBN 978-0-201-03804-0, besonders S. 287–288.

Weblinks

  • {{#if: | {{{author}}} | Eric W. Weisstein }}: Square Wave. In: MathWorld (englisch). {{#if: SquareWave | {{#ifeq: {{#property:P2812}} | SquareWave | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Rademacherfunktionen&oldid=2263426“