feriva, es verdad, quizá no expliqué bien que el conjunto 2 es una matriz traspuesta respecto a la primera.
Sí, pero esa matriz no es un conjunto salvo que pongas subíndices a los números o los coloques de una cierta manera, porque se repiten elementos dentro de ella (los representantes o números repetidos son necesarios ahí) la traspongas o no la traspongas.
Por otro lado, un par grande se puede representar con muchas parejas de primos distintas, hay, presumiblemente, “más” parejas distintas de primos que pares; entrecomillando ese “más”, porque es el mismo cardinal en los dos casos, infinito numerable (esto sí es seguro, es fácilmente demostrable). Quiero decir que, en la medida que consideramos pares más grandes, el número de parejas distintas de primos que suman un número par va aumentando (no de forma monótona, va aumentando a la larga, como unos dientes de sierra ascendentes, la gráfica de la cantidad es así).
Por tanto, hasta donde tenemos mirado, hay más parejas de primos distintas que números pares. Ahora bien, muchísimas de esas parejas comparten un número que es igual, o sea, vamos encontrando más combinaciones de primos que pares, pero muchos menos primos aislados que pares, lógicamente.
Y muchas, no muchas, muchísimas de esas parejas distintas, al sumar sus primos, dan un mismo par ( por poner sólo un ejemplo, 3+17=7+13). La cuestión es si, quitando las parejas que dan un mismo par (quedándonos sólo con una de ellas) tenemos tantas parejas como pares; pero aquí hay un matiz, no sirve con demostrar (lo cual es muy fácil) que ambas cosas vienen dadas en una “cantidad” infinita
no numerable. Claro que hay infinitas parejas de primos distintas que suman infinitos pares distintos, pero con eso no podemos asegurar que sean “todos” los pares. Por ejemplo, tenemos que los múltiplos de 4 son infinitos, pero no son todos los pares, y con eso otro que te digo pasa algo similar. La cosa no es tan sencilla como parece.
Saludos.