Załóżmy, że mam funkcję generującą moment połączony dla wspólnego rozkładu z CDF . Czy jest koniecznym i wystarczającym warunkiem niezależności i ? Sprawdziłem kilka podręczników, w których wspomniałem tylko o konieczności:
Ten wynik jest oczywisty, ponieważ niezależność implikuje . Ponieważ MGF marginesów są określone przez wspólną MGF, mamy:
Ale po przeszukaniu Internetu znalazłem tylko przelotne odniesienie, bez dowodu, do rozmowy . Czy wykonalny jest poniższy szkic?
Biorąc pod uwagę wspólne MGF , to jednoznacznie określa krańcowe rozkłady i i ich MGF, i . Same marginesy są kompatybilne z wieloma innymi możliwymi rozkładami połączeń i jednoznacznie określają rozkład połączeń, w którym i są niezależne, z CDF i MGF:
Więc jeśli otrzymamy, dla naszego oryginalnego MGF, że , to jest to wystarczające, aby pokazać . Następnie, dzięki wyjątkowości MGF, nasza pierwotna wspólna dystrybucja ma oraz i są niezależne.
źródło