Bien, estrictamente hablando, esto sólo es cierto para $k > 0$. Para $k=0$ tenemos un gráfico sin bordes, y la probabilidad de escoger un conjunto independiente es igual a $1=\frac{1}{2^0}$.
En cuanto a su enfoque, yo no entiendo realmente lo que es. Si usted considera que cualquier selección de vértices, es independiente o no. No es una cuestión de probabilidad, debido a que la gráfica no es al azar. La gráfica es fijo, la selección es al azar.
Aquí hay una posible manera de acercarse a este. Para cualquier fijo de selección de vértices, la probabilidad de elegir esta exacta de selección es $\frac{1}{2^n}$ donde $n$ es el número de vértices del grafo. Aquí uso la suposición de que nosotros recogida de las diferentes vértices de forma independiente el uno del otro. Es probablemente implícita.
Ahora, a partir de esta observación, podemos ver que la probabilidad de escoger un conjunto independiente de vértices es simplemente
$$
p = \frac{m}{2^n},
$$
donde $m$ el número total de diferentes conjuntos independientes de los vértices.
Así, se llega a probar que $m>2^{n-k}$. No es difícil. Aquí es un indicio de que podría ayudar con eso: usted puede utilizar el hecho de que un gráfico con $n$ vértices y $k$ bordes tiene al menos $n-k$ de los componentes conectados.