He publicado una respuesta a esta pregunta anteriormente, dando un conjunto finito. Esa respuesta fue incorrecta: esta es una respuesta diferente, que contiene los límites inferiores en conjuntos finitos de la clase que usted pide.
Un conjunto S tal que (∀a ∈ S)(∃b,c ∈ S):(b≠c y a = b + c) vamos a llamar a la auto-apoyo: un auto-apoyo conjunto S que es disjunta de −S será fuertemente auto-apoyo.
Proposición 1. Un auto-apoyo conjunto debe contener al menos tres elementos positivos y tres negativos de los elementos.
[Prueba]
Lograr la autosuficiencia en el conjunto S es no vacío; porque la propiedad de auto-apoyo es conservado por la negación de los elementos, sin pérdida de generalidad podemos considerar que los grupos que contienen elementos positivos.
El mayor elemento positivo de S sólo se puede formar como una suma de otros dos elementos positivos; por lo tanto, tiene al menos tres elementos positivos 0<c<b<a, tales que a = b + c. El más pequeño elemento positivo no puede ser formada como una suma de pequeños elementos positivos, por lo que S contiene elementos negativos. Por similares argumentos, debe contener al menos tres elementos negativos.
Como el conjunto {-3, -2, -1, 1, 2, 3} se auto-apoyo, esta obligado es óptimo.
Proposición 2. Una fuerza de auto-apoyo conjunto debe contener, al menos, cuatro elementos positivos y cuatro negativos de los elementos.
[Prueba] Supongamos que S es autosuficiente, pero sólo tiene tres elementos positivos 0<c<b<a. Entonces a = b + c. No podemos formulario de b como una suma de c con algún otro elemento positivo de S; a continuación, se sigue que b sólo se puede formar como una suma de a y −c, lo que implica que S no es fuertemente auto-apoyo. Por lo tanto, una fuerza de auto-apoyo conjunto contiene al menos cuatro elementos positivos; y de manera similar para los elementos negativos.
El conjunto más pequeño en flagar la respuesta, {-10, -8, -6, -2, 1, 3, 4, 5}, es, pues, un mínimo tamaño de la fuerza de auto-apoyo set --- y también puede ser el conjunto de elementos de menor valor absoluto.