Untuk \(m\in\Z^+\text{,}\) definisikan \(E^m=\{(x_n)\in H\mid x_k=0\text{ untuk }k\gt m\}\) dan \(f:E^m\to\R^m\) dengan \(f((x_n))=(x_1,\ldots,x_m)\text{.}\) Buktikan bahwa \(f\) bijektif dan, untuk setiap \(x,y\in E^m\text{,}\) berlaku \(d(x,y)=d_E(f(x),f(y))\text{.}\) Rubrik: buktikan injektivitas, surjektivitas melalui perluasan berekor nol, dan kesamaan jarak.