[[경계,bound]](이 페이지)와
[[경계,boundary]]와
[[유계,bounded]]
를 disambig.

Google:bound+vs+boundary+mathematics
----
Sub:
 [[유계,bounded]]
 [[상계,upper_bound]] - 위로 유계 (bounded above)와 완전동의어인지 chk
 [[하계,lower_bound]] - 아래로 유계(bounded below) 〃
 [[Chernoff_bound]] - 작성중. [[유계,bounded]]에 적어야 하나? (저건 이름이 저런데 분류는 [[부등식,inequality]]으로 해도 무방한 듯.. [[Chernoff_inequality]]?)

 [[union_bound]] : 불_부등식 [[Boole_inequality]] 과 밀접.
  여기에서 [[집합,set]]은 [[사건,event]]? chk
  (집합이 2개인 간단한 경우만 보면)
  P(A∪B)≤P(A)+P(B)
  이다. 즉 union([[set_union]])의 [[확률,probability]]은 upper bound([[상계,upper_bound]])가 있다. 그리고 그 upper bound는 각 확률을 더한 것.
  (Wikipedia는 union bound와 Boole inequality를 동의어처럼 서술했지만... 그런 [[부등식,inequality]]관계가 Boole's inequality이고 우변의 upper bound가 union bound가 아닐지?)
  tmp see [[WpEn:Boole's_inequality]] [[WpKo:불의_부등식]]

<<tableofcontents>>

= 상계 하계 =
[[상계,upper_bound]]
[[하계,lower_bound]]
[[WpEn:Upper_and_lower_bounds]]
https://encyclopediaofmath.org/wiki/Upper_and_lower_bounds

= 상한 하한 (여기 있을건 아닌데 위section과의 연관성 때문에 일단 여기에) =

상한 supremum = 최소상계 least upper bound

mv to [[상한,supremum]]

rel.: [[상계,upper_bound]]

https://planetmath.org/supremum
https://planetmath.org/lowestupperbound
https://mathworld.wolfram.com/Supremum.html
https://mathworld.wolfram.com/LeastUpperBound.html
----
하한 infimum = 최대하계 greatest lower bound
mv to [[하한,infimum]]

rel: [[하계,lower_bound]]

https://mathworld.wolfram.com/Infimum.html
https://mathworld.wolfram.com/GreatestLowerBound.html
https://planetmath.org/infimum
http://foldoc.org/greatest+lower+bound
----
[[WpEn:Infimum_and_supremum]]
[[WpKo:상한과_하한]]

= etc 1 =
bound는 분명 [[구간,interval]], [[부등식,inequality]]과 관련성 or 유사성 있을텐데 관계 서술. TBW

----
비슷한 구조??? 를 가진...

// [[greatest_element]] [[least_element]]
WpEn:Greatest_element_and_least_element
WpKo:최대_원소와_최소_원소
and
// [[maximal_element]] [[minimal_element]]
WpEn:Maximal_and_minimal_elements
WpKo:극대_원소와_극소_원소
는 [[부분순서집합,partially_ordered_set,poset]]의 부분집합의 원소 얘기 - 분류는 [[순서론,order_theory]] [[순서,order]]

// [[initial_object]] [[terminal_object]]
WpEn:Initial_and_terminal_objects
WpKo:시작_대상과_끝_대상
는 [[범주,category]] 안의 [[개체,object]] 얘기 - 분류는 [[범주론,category_theory]] [[범주,category]]

// [[상극한,limit_superior]] [[하극한,limit_inferior]]
// [[upper_limit]] [[lower_limit]]
WpEn:Limit_inferior_and_limit_superior
WpKo:상극한과_하극한
https://encyclopediaofmath.org/wiki/Upper_and_lower_limits
은 [[해석학,analysis]]

= tbw =
영역,region 구역,region ...과 관계가?

= 기타(주제와 직접 관련 없음) =
== 영단어 bound ==
bound variable : 종속변수. free variable의 반대말. See [[변수,variable#s-2]] ..... [[묶인변수,bound_variable]]?
boundary와 차이가 있는가? 뉘앙스 차이같은거?
 [[위상,topology]]수학의 경계는 boundary라고 하는듯... [[WpKo:경계_(위상수학)]]
 [[경계,boundary]] - 이건 이 페이지랑 이름이 겹치는데 어떻게???

CS/CE에서 bound/bounded (misc, del ok)
{
[[자료구조,data_structure]] 쪽에서 bounded는 size/length/capacity의 한계가 정해져 있다는?
ex. https://xlinux.nist.gov/dads/HTML/boundedstack.html

자료처리 쪽에서 -bound [[접미사,suffix]]는 // [[처리,processing]] > data_processing
I/O bound [[WpEn:I/O_bound]]
CPU bound [[WpEn:CPU-bound]]
memory-bound / memory_bound [[WpEn:Memory_bound]] - [[메모리,memory]] [[메모리관리,memory_management,MM]] [[메모리보호,memory_protection]]
 https://gunkies.org/wiki/Base_and_bounds 여기선 처음에 보면 bound = limit.
 Ggl:memory-bound Ndict:memory-bound Bing:memory-bound 
.. MKLINK - 처리용량, 처리성능, ..., bottleneck, [[채널,channel]] > [[채널용량,channel_capacity]]등 ... 관련키워드는 대충 이런건데 정확히 어떤관계인지 tbw
}

[[Hamming_bound]]
{
'''Hamming bound'''
WpEn:Hamming_bound
wt x
rel. [[coding_theory]], [[block_code]]
Up: [[정보,information]] [[정보이론,information_theory]]
} // Hamming bound .... Ndict:"Hamming bound" x(2024-03) Naver:"Hamming bound" Bing:"Hamming bound" Ggl:"Hamming bound"

----
https://proofwiki.org/wiki/Definition:Bound

Up: [[해석학,analysis]]