최근 수정 시각 : 2022-04-06 09:47:03

유계


파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
동명의 인물에 대한 내용은 고제(전한) 문서
번 문단을
부분을
, 베르세르크의 등장 개념에 대한 내용은 유계(베르세르크) 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.
해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px"
{{{#!wiki style="letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙
극한 부정형 · 어림( 유효숫자 ) · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
· 급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미분 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(boldsymbolnabla)] · 라그랑주 승수법
정리 · 토픽 평균값 정리 ( 롤의 정리 ) · 스토크스 정리 ( 발산 정리 ) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 ) · 아다마르 변환
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 미적분의 기본정리 · 2학년의 꿈 · 리시 방법 · 야코비안
실해석 측도론 ( 측도 · 르베그 측도 ) · 유계( 콤팩트성 ) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소해석 복소평면 · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 드 무아브르 공식 ) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 수치해석학 ( FEM ) · 미분기하학 · 해석기하학 · 해석적 정수론 ( 소수 정리 ) · 확률론 ( 중심극한정리 )
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 리만 가설미해결 · 카오스 이론미해결 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}}}}

1. 개요2. 상세
2.1. 실수집합에서
2.1.1. 상계와 하계2.1.2. 상한과 하한2.1.3. 유계
2.2. 거리공간에서
2.2.1. 유계
3. 관련 문서

1. 개요

/ bounded

실수 전체의 집합 [math(\mathbb{R})]의 부분집합 [math(X)]에 대하여 집합 [math(X)]에 속하는 모든 원소보다 크거나 같은 수와 작거나 같은 수가 모두 존재할 때 집합 [math(X)]는 유계이다. 유계인 집합의 대표적인 예시로 구간이 있다. 예를 들어, 열린 구간 [math(\left(0, 1\right))]에 대하여 [math(0)]과 [math(1)]사이의 모든 수보다 큰 수인 [math(2)], [math(0)]과 [math(1)]사이의 모든 수보다 작은 수인 [math(-1)]가 각각 존재하므로 열린구간 [math(\left(0, 1\right))]는 유계인 집합이다.

2. 상세

2.1. 실수집합에서

2.1.1. 상계와 하계

실수 집합 [math(\mathbb{R})]의 부분집합 [math(X)]에 대해서 [math(X)]에 속하는 모든 원소보다 크거나 같은 실수를 [math(X)]의 상계(, upper bound)라 한다. 비슷하게 [math(X)]에 속하는 모든 원소보다 작거나 같은 실수를 [math(X)]의 하계(, lower bound)라 한다. 예를 들어 열린 구간 [math(\left(0, 1\right))]의 상계는 구간 [math(\left[1, \infty\right))]의 임의의 원소가 가능하다. 마찬가지로 구간 [math(\left(-\infty, 0\right])]의 모든 원소는 구간 [math(\left(0, 1\right))]의 하계가 될 수 있다.

[math(X)]의 원소이면서 [math(X)]의 상계 또는 하계가 되는 것도 가능하다. 예를들어 1은 닫힌 구간 [math(\left[0, 1\right])]의 모든 원소보다 크거나 같고, 따라서 상계가 된다.

2.1.2. 상한과 하한

상한(, supremum)과 하한(, infimum)은 각각 상계의 최솟값과 하계의 최댓값을 말한다. 즉, 집합 [math(X)]의 상한은 [math(X)]의 모든 원소보다 크거나 같은 수들 중 가장 작은 수를, 하한은 [math(X)]의 모든 원소보다 작거나 같은 수들 중 가장 큰 수를 말한다. 열린 구간에서 볼 수 있듯이 모든 집합에 대해 최솟값과 최댓값이 존재하는 것은 아니다. 하지만 상한과 하한은 최대/최솟값을 갖지 않는 유한 열린구간에도 존재하며 따라서 상한과 하한을 최대, 최솟값의 일반화라 볼 수 있다. 예를 들어 [math(\left(0, 1\right))]는 최댓값과 최솟값이 존재하지 않지만 상계 [math(\left[1, \infty\right))]의 최솟값과 하계 [math(\left(-\infty, 0\right])] 최댓값은 각각 [math(1)]과 [math(0)]으로 존재한다.

집합 [math(X)]의 상한, 하한을 각각 [math(\sup X)], [math(\inf X)]로 표기한다.

2.1.3. 유계

집합 [math(X)]가 상계(하계)를 가지면 [math(X)]는 위로(아래로)유계(bounded above(below))라고 부르며, [math(X)]가 동시에 위와 아래로 유계인 경우 [math(X)]를 유계인 집합이라고 한다. 유계 개념은 함수, 수열[1], 함수열등에도 적용할 수 있는데, 이를 이용해 실수의 완비성의 한 형식을 나타낼 수 있다.[2] 또한 원점을 중심으로 한 Ball을 이용하여 [math(\mathbb{R}^n)]으로 유계 개념을 확장할 수 있다. 닫힌 구간 내에서 유계인 함수는 균등 연속성, 리만 적분 가능성 등의 여러 좋은 성질들을 갖는다.

2.2. 거리공간에서

해석학에서의 유계 개념은 위상수학에서 거리공간까지 확장 가능하다. 즉, 실수에서의 유계개념은 거리공간에서 정의된 유계 개념의 한 특수한 예이다.

2.2.1. 유계

거리공간 [math((X, d))]에 대해 [math(X)]의 부분집합 [math(A)]가 유계라 함은 [math(A\subset B_d(x, r))]을 만족시키는 점 [math(x\in X)]와 실수 [math(r>0)]이 존재함을 뜻한다. 이 때 점 [math(x)]는 반드시 집합 [math(A)]의 점일 필요가 없음에 주의하자.

3. 관련 문서


[1] 엄밀히 말하면 수열도 함수의 일종이다. [2] 실수의 완비성(Completeness)이란 위(아래)로 유계인 것과 상한(하한)을 가지는 것이 서로 필요충분조건임을 말한다. 실수의 완비성을 나타내는 방법은 여러가지가 있고, 그 중 하나가 유계인 수열을 이용한 방법이다.