동치관계,equivalence_relation

writing both in local and VG: 동치관계,equivalence_relation

Libre:동치관계 = https://librewiki.net/wiki/동치관계
rel 동치류(equivalent class) (x)
동치류 equivalent class (x)
동치류 equivalent_class (x)
동치류,equivalent_class 동치류,equivalent_class 동치류,equivalent_class ,equivalent_class
KmsK:동치류 : "equivalence class"
동치류,equivalence_class
Hyponym: congruence_class =,congruence_class . congruence_class { congruence class WtEn:congruence_class ... Ggl:congruence class Ndict:congruence class "congruence class" Up: congruence }
{" $\displaystyle x$동치류(equivalentequivalence class) $\displaystyle [x]$$\displaystyle x$동치관계,equivalence_relation에 있는 원소,elements들의 집합,set이다.
이의 모음(collection)collection $\displaystyle S/\sim = \{ [x] | x \in S \}$몫집합,quotient_set이라고 한다.
어떤 원소를 동치류에 대응시키는 사상,map $\displaystyle \pi : S \rightarrow S/\sim , x \mapsto [x]$사영,projection이라고 한다." - CHK
...
(예시) 동치관계분할,partition과 밀접.
"} (Libre:동치관계)
Ndict:동치류
Naver:동치류
Ggl:동치류
WtEn:equivalent_class x 2023-08-24
WtEn:equivalence_class o 2023-08-24 https://en.wiktionary.org/wiki/equivalence_class

Namu:동치관계 = https://namu.wiki/w/동치관계
{
같다는 개념의 추상화.
이항관계,binary_relation의 일종. 어떤 이항관계 ~가 임의의 a,b,c에 대해
  • a~a
  • a~b 이면, b~a
  • a~b 이고 b~c 이면, a~c
이면 이항관계 ~를 동치관계라 한다. 위 성질의 명칭은 각각
동치관계 간의 비교 가능. 같은 집합 A에 대해 정의된 두 동치관계 $\displaystyle \sim,\approx$
$\displaystyle \forall x,y\in A;\;\;\; x\sim y \to x\approx y$
일 때,
$\displaystyle \approx$$\displaystyle \sim$ 보다 엉성하다(coarser)
혹은
$\displaystyle \approx$ 보다 $\displaystyle \sim$ 가 섬세하다(finer)
라고 한다.

ex.
같은 반이다 and 같은 분단이다:
뒤가 더 섬세하다.
앞이 더 엉성하다.

등호,equality_sign{ pagename via KMS, KmsK:등호 }
부등호,inequality_sign { pagename via KMS, KmsK:등호 }

}









MKL