Se A é um conjunto próprio de I_n, não pode existir uma bijeção f: A->I_n.
Esse é um teorema que tem no livro do Elon Volume I - Análise Real. pag .4 Só que tem uma parte que não entendo. Segue abaixo: "Neste caso, a restrição de g a A - {n_0} é uma bijeção do subconjunto próprio A - {n_0} sobre I_{n_(0-1)}, o que contraria a minimalidade de n_0." Grato. Flickr agora em português. Você clica, todo mundo vê. http://www.flickr.com.br/