If G is a finite abstract simplicial complex and K is a subcomplex of G and U=G-K is the open complement of K in G, the Betti vectors of K and U and G satisfy the inequality b(G) less or equal b(K)+b(U).
生成讲解博客的中文版本
生成AI智能校验的中文版本