Հաուսդորֆյան հեռավորություն

Մաթեմատիկայում, Հաուսդորֆյան հեռավորությունը կամ Հաուսդորֆյան տարածությունը, նաև կոչվում է Պոմպեյ—Հաուսդորֆյան հեռավորություն^[1], չափում է, թե ինչ հեռավորության վրա են գտնվում մետրիկական տարածության մեջ գտնվող երկու ոչ դատարկ կոմպակտ ենթաբազմությունները։ Այն վերափոխում է ոչ դատարկ կոմպակտ ենթաբազմությունը մետրիկական տարախության իրական ձևի։ Այն կոչվել է գերմանացի մաթեմատիկոս Ֆելիքս Հաուսդորֆֆի պատվին։

Այսպես ասած 2 բազմությունները մոտ են Հաուսդորֆյան տարածության մեջ, եթե յուրաքանչյուր կետ մի բազմությունից մոտ է ինչ-որ կետին մյուս բազմությունից։ Այլ կերպ ասած Հաուսդորֆյան հեռավորությունը, մի բազմության կետերից մյուս բազմությունից ամենահեռու գտնվող կետի հեռավորությունն է մյուս բազմության իրեն ամենամոտ կետից։

Ինչպես երևում է առաջին անգամ այս մեծությունը սահմանվել է Հաուսդորֆի կողմից իր գրքոում, առաջին անգամ 1914 թվականինտպագրված, չնայած շատ մոտ գաղափար է առաջ քաշվել Մորիս Ռենեի կողմից 1906-ին իր դոկտորական աշխատանքի մեջ։

Վերցնենք X և Y ոչ դատարկ ենթաբազմություները մետրիկական տարածության մեջ (M, d)։ Մենք սահմանում ենք իրենց Հաուսդորֆյան հեռավորությունը d_H(X, Y)

${\displaystyle d_{\mathrm {H} }(X,Y)=\max\{\,\sup _{x\in X}\inf _{y\in Y}d(x,y),\,\sup _{y\in Y}\inf _{x\in X}d(x,y)\,\}{\mbox{,}}\!}$ -ի միջոցով։

որտեղ sup ներկայացնում է Սուպրեմիումը և inf-ը՝ Ինֆինիումը։

Համարժեքորեն

${\displaystyle d_{H}(X,Y)=\inf\{\epsilon \geq 0\,;\ X\subseteq Y_{\epsilon }\ {\mbox{and}}\ Y\subseteq X_{\epsilon }\}}$^[2],

որտեղ

${\displaystyle X_{\epsilon }:=\bigcup _{x\in X}\{z\in M\,;\ d(z,x)\leq \epsilon \}}$ ,

որը ${\displaystyle \epsilon }$ շառավիղով ընդլայնված X բազմությունն է։

• Ընդհանուր դեպքում d_H(X,Y)-ը կարող է լինել անվերջ․ Եթե և՜ X-ը և՜ Y-ը սահամանփակ են, ապա երաշխավորված է, որ կլինի վերջավոր․
• d_H(X,Y) = 0, այն և միայն այն դեպքում, երն X-ն ու Y-ը ունեն նույն սահմանները․
• Կամայական x կետի համար M-ից և որևէ ոչ դատարկ Y և Z բազմությունները M-ից d(x,Y) ≤ d(x,Z) + d_H(Y,Z), որտեղ d(x,Y)-ը x կետի և Y բազմության մեջ x -ին ամենամոտ կետի հեռավորությունն է
• |diameter(Y)-diameter(X)| ≤ 2 d_H(X,Y), որտեղ diameter-ը բազմության շառավիղն է.^[3]։
• Եթե X∩Y հատումը ոչ դատարկ բազմություն է, ապա գոյություն ունի r>0 հաստատուն , այնպիսին, որ կամայանկան X′ բազմություն, որի Հաուսդորֆյան հեռավորությունը X-ից փոքր է r-ից, հատում է նաև Y-ը^[4]։

Չափորոշչային վերահսկողություն GND: 4159236-0 · Microsoft: 141898687