Zum Inhalt springen

Distanzfunktion

aus Wikipedia, der freien Enzyklopädie

{{#if: behandelt die Distanzfunktion in der Mathematik. Für das gleichnamige Konzept in der Volkswirtschaftslehre siehe Distanzfunktion (Mikroökonomik). 

 | Vorlage:Hinweisbaustein 
 | {{#ifeq: 0 | 0 |}}

}} Distanzfunktionen sind bestimmte reellwertige Abbildungen metrischer Räume, die die Eigenschaften der zugrunde liegenden Metrik auf einstellige Funktionen übertragen. Das Konzept von Distanzfunktionen wurde 2011 von Chazal, Cohen-Steiner und Mérigot eingeführt und besitzt unter anderem Anwendungsmöglichkeiten in der geometrischen und der stochastischen Maßtheorie sowie im Data-Mining.<ref>Frédéric Chazal, David Cohen-Steiner, Quentin Mérigot: Geometric Inference for Probability Measures. In: Foundations of Computational Mathematics. Bd. 11, Nr. 6, 2011, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|1615-3375|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=1615-3375}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 733–751, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, <templatestyles src="Webarchiv/styles.css" />{{#if:20131219022242 

      | {{#ifeq: 20131219022242 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20131219022242}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20131219022242}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20131219022242|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}}
    || {{#if:  || }}
  }}{{#if: Webarchiv (PDF; 628 kB)
    | {{#if: {{#invoke:WLink|isBracketedLink|Webarchiv (PDF; 628 kB)}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}.</ref>

Definition

Sei <math>(X;d_X)</math> ein nicht-leerer metrischer Raum, dessen Metrik ohne Beschränkung der Allgemeinheit durch eine Norm <math>\|.\|_X</math> induziert sei (vgl. Satz von Kunugui).

Eine Distanzfunktion auf <math>X</math> ist nun eine Abbildung <math>d\colon X \to \R_0^+</math> (die also keine negativen Werte annimmt), mit den folgenden drei Eigenschaften:

  1. Die Funktion selbst ist 1-Lipschitz-stetig: Für je zwei Punkte <math>x;y \in X</math> gilt also <math>|d(x)-d(y)| \le \|x-y\|_X</math>
  2. Das Quadrat der Funktion ist 1-semikonkav: Dies ist äquivalent dazu, dass <math>x \mapsto d(x)^2-\|x\|^2_X</math> eine konkave Funktion ist.
  3. Die Funktion divergiert, wann immer die Norm es tut: Für jedes Netz <math>(x_i)_{i \in I}</math> in <math>X</math> mit <math>\|x_i\|_X \to \infty</math> gilt auch <math>d(x_i) \to \infty</math>.

Pseudo-Distanzfunktion

Streng genommen genügt es bereits, die zweite und dritte Eigenschaft der obigen Definition zu fordern, da aus der 1-Semikonkavität des Quadrates einer Funktion bereits die 1-Lipschitz-Stetigkeit der ursprünglichen Abbildung folgt.<ref>Frédéric Chazal, David Cohen-Steiner, Quentin Mérigot: Geometric Inference for Probability Measures. In: Foundations of Computational Mathematics. Bd. 11, Nr. 6, 2011, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|1615-3375|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=1615-3375}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 733–751, Proposition 3.1, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, <templatestyles src="Webarchiv/styles.css" />{{#if:20131219022242 

      | {{#ifeq: 20131219022242 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20131219022242}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20131219022242}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20131219022242|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}}
    || {{#if:  || }}
  }}{{#if: Webarchiv (PDF; 628 kB)
    | {{#if: {{#invoke:WLink|isBracketedLink|Webarchiv (PDF; 628 kB)}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}.</ref>

Allerdings ist die erste Eigenschaft anschaulich genau das, was eine Funktion distanzartig macht: Es lässt sich leicht nachrechnen, dass <math>d</math> genau dann 1-Lipschitz-stetig ist, wenn sie mit der Metrik <math>d_X</math> verträglich ist, wenn also für je zwei Elemente <math>x;y \in X</math> stets <math>d(x) \le d(y) + d_X(x;y)</math> gilt.

In abschwächender Sprechweise wird eine Funktion <math>d\colon X \to \R_0^+</math> daher auch Pseudo-Distanzfunktion genannt, wenn sie 1-Lipschitz-stetig ist und mit der Norm divergiert.

Distanzfunktion zu einer Menge

Der Prototyp einer Distanzfunktion ist der Abstand zu einer kompakten Teilmenge <math>K \subseteq X</math>, der durch <math>d_K(x) = \inf_{k \in K} \| x-k \|_X</math> erklärt wird.<ref name=section3>Frédéric Chazal, David Cohen-Steiner, Quentin Mérigot: Geometric Inference for Probability Measures. In: Foundations of Computational Mathematics. Bd. 11, Nr. 6, 2011, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|1615-3375|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=1615-3375}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 733–751, Section 3, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, <templatestyles src="Webarchiv/styles.css" />{{#if:20131219022242 

      | {{#ifeq: 20131219022242 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20131219022242}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20131219022242}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Webarchiv (PDF; 628 kB) | {{#invoke:WLink|getEscapedTitle|Webarchiv (PDF; 628 kB)}} | {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20131219022242|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf}}
    || {{#if:  || }}
  }}{{#if: Webarchiv (PDF; 628 kB)
    | {{#if: {{#invoke:WLink|isBracketedLink|Webarchiv (PDF; 628 kB)}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://cgl.uni-jena.de/pub/Publications/WebHome/CGL-TR-20.pdf }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}.</ref>

Die Kompaktheit bewirkt hier, dass das Infimum stets für mindestens einen Punkt aus <math>K</math> tatsächlich angenommen wird. Die 1-Lipschitz-Stetigkeit folgt dann aus der Dreiecksungleichung.

Distanzfunktion zu einem Maß

Sei nun <math>X</math> zusätzlich mit einem Maß <math>\mu</math> versehen und <math>0 \le m < \mu(X)</math> eine reelle Zahl, so lässt sich zeigen, dass durch

<math>\delta_{\mu;m} (x) = \inf \{r>0 | \mu(\overline{B}_r(x))>m \}</math>

eine Pseudo-Distanzfunktion erklärt ist, wobei <math>\overline{B}_r(x) = \{y \in X | d_X(x;y) \le r \}</math> die abgeschlossene Kugel um <math>x</math> mit Radius <math>r</math> bezeichne.<ref name=section3/>

Für jede reelle Zahl <math>0 < m_0 < \mu(X)</math> heiße nun die Abbildung

<math>d_{\mu;m_0} \colon X \to \R_0^+;\ x \mapsto \sqrt{ \frac{1}{m_0} \int_0^{m_0} \delta_{\mu;m}(x)^2\ \mathrm{d}m }</math>

die Distanzfunktion zum Maß <math>\mu</math> mit Parameter <math>m_0</math>.

Differenzierbarkeit

Nach dem Satz von Rademacher sind (Pseudo-)Distanzfunktionen fast überall metrisch differenzierbar, da sie Lipschitz-stetig sind.

Ist speziell <math>X = \R^n</math> euklidisch, dann folgt aus dem Satz von Alexandrow mit der Semikonkavität des Quadrates auch die zweifache (totale) Differenzierbarkeit von Distanzfunktionen fast überall.

Dies ermöglicht eine eingehende Untersuchung von Distanzfunktionen und den zugrunde liegenden Räumen durch die Betrachtung des Gradienten vergleichbar mit der Morsetheorie in der Differentialtopologie.<ref>Karsten Grove: Critical Point Theory for Distance Functions. In: Proceedings of Symposia in Pure Mathematics. Bd. 54, Nr. 3, 1993, {{#invoke:URIutil|{{#ifeq:1|1|linkISSN|targetISSN}}|0082-0717|0}}{{#ifeq:1|0|[!] }}{{#ifeq:0|1 

        |{{#switch:00
                  |11= (print/online)
                  |10= (print)
                  |01= (online)
          }}

}}{{#ifeq:0|0 

        |{{#ifeq:0|0
              |{{#if:{{#invoke:URIutil|isISSNvalid|1=0082-0717}}
                    |
                    |{{#invoke:TemplUtl|failure|ISSN ungültig}}}}}}

}}, S. 357–385, (Grove gebraucht hier den Begriff distance function im Sinne obiger Definition, ohne jedoch die umfassende Theorie von Chazal et al. vorwegzunehmen.).</ref>

Einzelnachweise

<references />

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