패밀리,family

Difference between r1.1 and the current

@@ -1,4 +1,43 @@
#noindex
family
패밀리
= 수학에서 =
KmsE:family
KmsE:family - 족 모임
 
 
[[WpEn:Family_of_sets]]
= https://en.wikipedia.org/wiki/Family_of_sets
{
집합론 등에서, a '''family''' (or '''collection''') can mean any of // [[컬렉션,collection]]과 매우 밀접, 같은 뜻일 때도 있음
* [[집합,set]] -> [[WpEn:Set_(mathematics)]]
* [[indexed_set]] .... curr [[인덱스,index?action=highlight&value=indexed_set]] -> [[WpEn:Indexed_set]]
* [[multiset]] ..... curr [[멀티,multi?action=highlight&value=multiset]] -> [[WpEn:Multiset]]
* [[클래스,class]] .... //이건 oo의 class가 아니므로 다른 page를 연결해야...todo. -> [[WpEn:Class_(set_theory)]]
}
 
== tmp bmks ko ==
via 집합족과 첨수 Family and index at https://freshrimpsushi.github.io/posts/family-and-index/
Def.
1. '''family''': 원소가 집합인 집합. ''...즉 원소들의 type이 모두 set?''
2. [[멤버,member]]: '''family'''의 [[원소,element]].
3. 한 집합 $\Gamma$ 의
각 $\gamma\in\Gamma$ 에
집합 $A_\gamma$ 가 [[대응,correspondence]]할 때,
$\gamma$ 를 [[인덱스,index]]
$\Gamma$ 를 인덱스집합,index_set ?
$\left\{ A_\gamma : \gamma\in\Gamma \right\}$ 를 인덱스패밀리,index_family ?
라고 한다.
 
(저 글에서는
family - 족
member - 구성원
index - 첨수 의 번역에 부정적)
 
family는 collection { 컬렉션 모임 ... }이라고도 불리움.
 
 
Ndict:인덱스집합 Google:인덱스집합
Ndict:인덱스패밀리 Google:인덱스패밀리
 
Ndict:index+set Google:index+set
Ndict:index+familiy Google:index+family



family
패밀리

수학에서

KmsE:family - 족 모임


WpEn:Family_of_sets
= https://en.wikipedia.org/wiki/Family_of_sets
{
집합론 등에서, a family (or collection) can mean any of // 컬렉션,collection과 매우 밀접, 같은 뜻일 때도 있음
}

tmp bmks ko

via 집합족과 첨수 Family and index at https://freshrimpsushi.github.io/posts/family-and-index/
Def.
1. family: 원소가 집합인 집합. ...즉 원소들의 type이 모두 set?
2. 멤버,member: family원소,element.
3. 한 집합 $\displaystyle \Gamma$
$\displaystyle \gamma\in\Gamma$
집합 $\displaystyle A_\gamma$대응,correspondence할 때,
$\displaystyle \gamma$인덱스,index
$\displaystyle \Gamma$ 를 인덱스집합,index_set ?
$\displaystyle \left\{ A_\gamma : \gamma\in\Gamma \right\}$ 를 인덱스패밀리,index_family ?
라고 한다.

(저 글에서는
family - 족
member - 구성원
index - 첨수 의 번역에 부정적)

family는 collection { 컬렉션 모임 ... }이라고도 불리움.