Thực chất thì tổng quát nó sẽ là mọi không gian con của một không gian định chuẩn $E$ thì không gian con duy nhất có phần trong khác rỗng là chính là nó . Giả sử $F$ là một không gian con của $E$ với cùng một chuẩn . Giả sử $intF$ khác rỗng thế thì nó chứa một quả cầu nào đó $B(x,r)$ , với $z \in E$ ta sẽ chứng minh $z \in F$ , thật vậy đặt $y = x + \frac{r}{2||z||}z$ như thế thì $||x-y||= ||\frac{r}{2||z||}z||<r$ nên $y \in B(x,r) \subset F$ như thế thì $z \in F$ . Hay $F=E$ . Với bài này ta có bao hàm thức thật sự nên $intF=\varnothing$
Bài viết đã được chỉnh sửa nội dung bởi bangbang1412: 15-11-2016 - 23:00
$$[\Psi_f(\mathbb{1}_{X_{\eta}}) ] = \sum_{\varnothing \neq J} (-1)^{\left|J \right|-1} [\mathrm{M}_{X_{\sigma},c}^{\vee}(\widetilde{D}_J^{\circ} \times_k \mathbf{G}_{m,k}^{\left|J \right|-1})] \in K_0(\mathbf{SH}_{\mathfrak{M},ct}(X_{\sigma})).$$