world:knn
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
world:knn [2023/11/05 17:56] rdouc |
world:knn [2023/11/05 18:04] (current) rdouc [Second proof] |
||
|---|---|---|---|
| Line 41: | Line 41: | ||
| Note that on $\{h(X_0)=1\}\cap \{X_0 \in A_n\} $, | Note that on $\{h(X_0)=1\}\cap \{X_0 \in A_n\} $, | ||
| \begin{align*} | \begin{align*} | ||
| - | 1&=h(X_0)=\PP\lr{ \| X_0- X_{1} \| \geq \epsilon | X_0 } \leq \PP\lr{ \| X_0-a_n\| + \| a_n-X_{1} \| \geq \epsilon | X_0 } \\ | + | 1=h(X_0)=\PP\lr{ \| X_0- X_{1} \| \geq \epsilon | X_0 } &\leq \PP\lr{ \| X_0-a_n\| + \| a_n-X_{1} \| \geq \epsilon | X_0 } \\ |
| &\leq \PP\lr{ \epsilon/2 + \| a_n-X_{1} \| \geq \epsilon | X_0 }= \PP\lr{\| a_n-X_{1} \|\geq \epsilon/2 | X_0 }\\ | &\leq \PP\lr{ \epsilon/2 + \| a_n-X_{1} \| \geq \epsilon | X_0 }= \PP\lr{\| a_n-X_{1} \|\geq \epsilon/2 | X_0 }\\ | ||
| &=\PP\lr{\| a_n-X_{1} \| \geq \epsilon/2 }=\PP(X_1 \notin A_n)=\PP(X_0 \notin A_n) | &=\PP\lr{\| a_n-X_{1} \| \geq \epsilon/2 }=\PP(X_1 \notin A_n)=\PP(X_0 \notin A_n) | ||
| Line 55: | Line 55: | ||
| $$ | $$ | ||
| which proves \eqref{eq:h} and the proof of the Proposition is completed. | which proves \eqref{eq:h} and the proof of the Proposition is completed. | ||
| + | |||
| + | |||
world/knn.1699203394.txt.gz ยท Last modified: 2023/11/05 17:56 by rdouc
Page Tools
