독립성,independence

1. TBW


독립은 항상 상호적?
A가 B에 독립적이면, 당연히 B도 A에 독립적?
증명은?
정확한표현? 상호...(연산,operation의 commutable(rel. 교환법칙,commutativity)과 비슷한 느낌? 필요충분조건과도 비슷한 느낌?)

2. 사건의 독립

사건,event이 독립 iff
P(AB)=P(A)P(B)

여기에 P(A|B)=P(AB)/P(B) 를 적용하면
P(A|B)=P(A)
P(B|A)=P(AB)/P(A) 를 적용하면
P(B|A)=P(B)
임을 쉽게 확인 가능.


사건 A와 B가 독립이면, A와 not(B)도 독립임. 증명 쉬움.

독립인 사건이 셋 이상일 때도 독립 식이 이렇게 확장.
P(ABC)=P(A)P(B)P(C)
P(ABCD)=P(A)P(B)P(C)P(D)





3. 확률변수의 독립

확률변수,random_variable이 독립인 것은 결합,joint 관련? CHK


(위 '사건의 독립'과 밀접)

[https]수학백과: 독립변수 (확률변수들 독립 얘기)


// ㄷㄱㄱ Week 9-2 p6

Two random variables are independent iff
$P_{X,Y}(x,y)=P_X(X)P_Y(y)$
or
$f_{X,Y}(x,y)=f_X(x)f_Y(y)$

For independent $X$ and $Y$
  • $P_{X|Y}(x|y)=P_X(x) \;\to\; \text{E}[X|Y]=\text{E}[X]$
  • $\text{E}[XY]=\text{E}[X]\text{E}[Y]$
  • $\text{Cov}[X,Y]=0 \;\to\;\text{uncorrelated}$
// 위에 두번째를 간단히 살펴보면, $\text{E}[XY]$ 를 계산하기 위해선
$\iint xy f(x,y)dxdy$
$=\iint xy f_X(x) f_Y(y) dxdy$ .... 그런데 x, y가 독립적이므로
$=\int xf(x)dx \cdot \int yf(y)dy$
$=\text{E}[X]\text{E}[Y]$
// 위에 세번째가 저렇게 되는 이유는 $\text{Cov}[X,Y]=\text{E}[XY]-\text{E}[X]\text{E}[Y]$ 이기 때문 - see 공분산,covariance

Independency → uncorrelation, but the inverse is not always true



독립 → 상관,correlation 없음. 항상 true.
하지만
상관없음 → 독립? 이건 항상 참이 아님.

Ex. $f_{X,Y}(x,y)=xy$ for $0<x<2$ and $0<y<1$ 이면 $X,Y$ 는 독립인가?
Sol.
marginal pdf를 구하면
$f_X(x)=\int_{y=0}^1 xydy=\frac12 x$
$f_Y(y)=2y$
둘을 곱하면 $xy$ 이며 이것은 joint pdf와 동일하므로, X와 Y는 독립이다.

// also mentioned at : 확률변수,random_variable#s-2

4. 선형독립, 일차독립 linear independence

5. 변수의 독립: 독립변수 independent variable

6. 좌표독립

8. 집합의 독립 : 독립집합, independent set


https://horizon.kias.re.kr/17100/ 중간쯤 "램지 이론 활용의 예"
{
보면 '헷갈리기 쉬운 기호,symbol들', 통신,communication 관련임.
각 symbol들이 vertex이고, 헷갈리기 쉬운 것들을 연결하여 edge로 만들면, 혼란그래프(confusion graph). 혼란을 피하기 위해서는 혼란그래프에서 독립집합을 골라 그 집합에 있는 기호만으로 소통하면 됨. 독립집합은 vertex들의 집합으로, 그 집합 안의 vertex들이 서로 연결되어있지 않은 집합을 뜻함.
그래프 $G$ 의 가장 큰 독립집합의 크기는 독립수,independence_number. 기호: $\alpha(G)$
}

rel. matroid


Up: 독립성,independence 집합,set 그래프,graph

9. 함수의 독립

함수,function의 독립은.. tbw.


QQQ 함수의 독립 ↔ 함수의 선형독립 ...인지? 항상? // 선형독립,linear_independence
QQQ 위에 확률변수의 독립(Section 3)의 경우, 확률변수도 함수인데, 저기서 말하는 통계학/확률론에서 확률변수의 독립은 여기서 말하는 (아마도 선형대수학이나 함수해석학의) 함수의 독립과 '정확히' 어떤 관계가 있는지? 다르다면 어떤 점을 비교할 수 있고 어떤 유사점이 있는지? chk & TBW // 확률변수,random_variable


9.1. 선형미분방정식 해의 독립

해,solution가 함수이므로 함수의 독립의 일종이며 (그래서 여기 놓음)
론스키언,Wronskian 관련임.


11. 독립시행 independent trial

12. independence와 disjointness의 비교

disjoint의 번역이 안 정해짐, 분리/서로소/배반 중에 아마 분리로 정해지지 않을까..
//disjoint에 대해선 curr goto 결합,joint

사건,event의 collection에 대해, disjointness(mutual exclusiveness)와 independence 식의 비교.

만일 $\lbrace A_1,A_2,\cdots,A_n\rbrace$ 이 disjoint events이면
$P\left[\bigcup_{i=1}^{n}A_i\right]=\sum_{i=1}^n P[A_i]$
만일 $\lbrace A_1,A_2,\cdots,A_n\rbrace$ 이 independent events이면
$P\left[\bigcap_{i=1}^{n}A_i\right]=\prod_{i=1}^{n} P[A_i]$

(Schaum Prob RV and RP p9)

13. 기타, related, 나중에 체크할 것


Misc
'서로 독립mutually independent'은 직교성,orthogonality과 의미가 통한다 - see [https]https://everything2.com/title/orthogonal의 Jargon File

pagename '독립성'으로 변경?
or '독립성,independency'?


Compare: 종속성,dependence
{
dependence의 다른 번역:
의존성 ... 의존성,dependence

Try dependenc(e|y)
통계학에서 dependence상관,correlation과 동의어? chk. via WpKo:Correlation처음 문장 "In statistics, correlation or dependence is any statistical relationship..."
}