일차 부등식

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 일차 부등식의 성질
- 2.1. 기본 성질
3. 일차 부등식의 형태
4. 일차 부등식의 해법
- 4.1. 일반적인 해법 (일변수)
- 4.2. 연립 일차 부등식
5. 일차 부등식의 활용
- 5.1. 다면체
- 5.2. 선형 계획법
6. 일반화
참조

1. 개요

일차 부등식은 부등호(<, >, ≤, ≥)를 사용하여 두 일차식의 크기를 비교하는 수학적 표현이다. 일차 부등식의 양변에 같은 수를 더하거나 빼거나, 양수를 곱하거나 나누어도 부등호의 방향은 바뀌지 않지만, 음수를 곱하거나 나누면 부등호의 방향이 바뀐다. 일변수 일차 부등식은 ax > b 또는 ax < b (a, b는 상수) 형태로 나타나며, 이변수 일차 부등식은 ax + by < c 또는 ax + by ≥ c 형태로 표현되고 좌표평면 상에서 반평면으로 해를 나타낼 수 있다. n차원 실수 공간에서는 $a_1 x_1 + a_2 x_2 + \cdots + a_n x_n < b$ 또는 $a_1 x_1 + a_2 x_2 + \cdots + a_n x_n \leq b$ 형태로 나타낼 수 있다. 일차 부등식은 다면체, 선형 계획법 등 다양한 분야에 활용되며, 순서환과 순서체로 일반화될 수 있다.

더 읽어볼만한 페이지

선형 계획법 - 자료 포락 분석
자료 포락 분석(DEA)은 여러 입력과 출력을 가진 의사결정단위(DMU)의 효율성을 측정하는 방법으로, 선형 계획법을 활용해 경험적 생산 기술 경계를 추정하며, 생산 함수 형태를 가정할 필요 없이 여러 입출력을 동시에 고려할 수 있지만, 변수 선택에 민감하다는 단점도 있다.
선형 계획법 - 단체법 (알고리즘)
단체법은 조지 단치히가 개발한 선형 계획법 문제 해결 알고리즘으로, 선형 부등식 제약 조건하에서 선형 목적 함수를 최적화하며, 연속적인 피벗 연산을 통해 개선된 기본 가능 해를 찾아 다양한 분야의 최적화 문제에 활용된다.
부등식 - 구매력 평가
구매력 평가는 일물일가의 법칙에 기반하여 국가 간 물가 수준을 비교하고 환율을 계산하는 경제 이론으로, GDP 비교나 환율 예측 등에 활용되지만 여러 한계점도 존재한다.
부등식 - 불확정성 원리
불확정성 원리는 1927년 베르너 하이젠베르크가 발표한 양자역학의 기본 원리로, 입자의 위치와 운동량 등 짝을 이루는 물리량들을 동시에 정확하게 측정하는 것이 불가능하며, 두 물리량의 불확정성은 플랑크 상수에 의해 제한된다.

일차 부등식
일반 정보
유형	대수적 부등식
포함	선형 함수
변수 개수
1	수직선
2	좌표 평면
관련 주제
관련 주제	선형 계획법
일반 정보
종류	부등식
변수	변수가 하나인 일차식
그래프	수직선

2. 일차 부등식의 성질

일차 부등식은 기본적인 연산에 대해 다음과 같은 성질을 가지며, 이 성질을 이용하여 부등식의 해를 구할 수 있다.

양변에 같은 수를 더하거나 빼어도 부등호의 방향은 바뀌지 않는다.
양변에 같은 양수를 곱하거나 나누어도 부등호의 방향은 바뀌지 않는다.
양변에 같은 음수를 곱하거나 음수로 나누면 부등호의 방향이 바뀐다.

2. 1. 기본 성질

1) 양변에 같은 수를 더하거나 같은 수를 빼어도 부등호의 방향은 바뀌지 않는다.

2) 양변에 같은 양수를 곱하거나 같은 양수를 나누어도 부등호의 방향은 바뀌지 않는다.

3) 양변에 같은 음수를 곱하거나 같은 음수로 나누면 부등호의 방향이 바뀐다.

3. 일차 부등식의 형태

$x$ 에 대한 일차 부등식의 일반형은 다음과 같다.

: $ax>b$

: $ax (단, a, b 는 상수 이다.)$

3. 1. 일변수 일차 부등식

일변수 일차 부등식은 미지수 x에 대한 일차식으로 표현되며, 일반형은 다음과 같다.

: ''ax'' > ''b''

: ''ax'' < ''b'' (단, ''a'', ''b''는 상수이다.)

다음은 일차 부등식의 예시이다.

$\frac{x-3}{6} > \frac{7x+2}{9}$
$1.2x - 0.6 > x$

3. 2. 이변수 일차 부등식

이변수 일차 부등식은 두 변수를 포함하며, 다음과 같은 형태로 나타낼 수 있다.

:ax + by < c^영어 또는 ax + by ≥ c^영어

여기서 부등호는 한쪽만 만족하거나 양쪽 모두 만족할 수 있다. 이러한 부등식의 해는 유클리드 평면에서 반평면(특정 선의 한쪽에 있는 모든 점)으로 나타낼 수 있다.^[2] 부등식이 한쪽만 만족하는 경우(엄격한 부등식), 반평면을 결정하는 선(''ax'' + ''by'' = ''c'')은 해에 포함되지 않는다. 해가 되는 반평면을 찾으려면, 선 위에 있지 않은 점(''x''₀, ''y''₀)에서 ''ax'' + ''by''의 값을 계산하여 부등식이 만족되는지 확인한다.

예를 들어,^[3] ''x'' + 3''y'' < 9의 해를 구하기 위해, 먼저 ''x'' + 3''y'' = 9를 점선으로 그린다. 점선은 부등식이 엄격하여 선이 해에 포함되지 않음을 의미한다. 다음으로, 선 위에 없는 점 (0,0)을 선택한다. 0 + 3(0) = 0 < 9 이므로, (0,0)은 해에 속한다. 따라서 (0,0)을 포함하는 반평면(선의 "아래쪽")이 이 부등식의 해가 된다.

3. 3. 고차원 일차 부등식

n차원 실수 공간('''R'''ⁿ)에서 일차 부등식은 다음과 같은 형태로 쓸 수 있다.

: a₁x₁ + a₂x₂ + ⋯ + aₙxₙ < b

또는

: a₁x₁ + a₂x₂ + ⋯ + aₙxₙ ≤ b

여기서 x₁, x₂, ..., xₙ은 미지수이고, a₁, a₂, ..., aₙ, b는 상수이다.

또는 다음과 같이 쓸 수도 있다.

: a₀ + a₁x₁ + a₂x₂ + ⋯ + aₙxₙ < 0

또는

: a₀ + a₁x₁ + a₂x₂ + ⋯ + aₙxₙ ≤ 0^[4]

4. 일차 부등식의 해법

일차 부등식의 해는 부등식을 만족시키는 미지수의 범위를 의미한다.

4. 1. 일반적인 해법 (일변수)

x

에 대한 일차 부등식의 일반적인 해법은 다음과 같다.

$ax>b$	$b \ge 0$	$b<0$
$a>0$	$x>\frac {b}{a}$
$a=0$	해 없음	$x$ 는 모든 실수
$a<0$	$x<\frac {b}{a}$

$ax$	$b>0$	$b \le 0$
$a>0$	$x<\frac {b}{a}$
$a=0$	$x$ 는 모든 실수	해 없음
$a<0$	$x>\frac {b}{a}$

4. 2. 연립 일차 부등식

여러 개의 일차 부등식이 동시에 주어지는 경우, 각 부등식의 해를 구하여 공통 범위를 찾는다.

:

\begin{alignat}{7}a_{11} x_1 &&\; + \;&& a_{12} x_2 &&\; + \cdots + \;&& a_{1n} x_n &&\; \leq \;&&& b_1      \\a_{21} x_1 &&\; + \;&& a_{22} x_2 &&\; + \cdots + \;&& a_{2n} x_n &&\; \leq \;&&& b_2      \\\vdots\;\;\; &&     && \vdots\;\;\; &&              && \vdots\;\;\; &&     &&& \;\vdots \\a_{m1} x_1 &&\; + \;&& a_{m2} x_2 &&\; + \cdots + \;&& a_{mn} x_n &&\; \leq \;&&& b_m      \\\end{alignat}

여기서

x_1,\ x_2,...,x_n

는 미지수이고,

a_{11},\ a_{12},...,\ a_{mn}

는 연립의 계수이며,

b_1,\ b_2,...,b_m

는 상수항이다.

연립 일차 부등식은 행렬 부등식으로 간결하게 나타낼 수 있다.

:

Ax \leq b,

여기서 ''A''는 ''m''×''n'' 행렬이고, ''x''는 변수로 구성된 ''n''×1 열 벡터이며, ''b''는 상수로 구성된 ''m''×1 열 벡터이다.

위의 연립에서는 엄격한 부등식과 엄격하지 않은 부등식을 모두 사용할 수 있다. 모든 일차 부등식의 연립이 해를 갖는 것은 아니다.

푸리에-모츠킨 소거법을 사용하여 일차 부등식의 연립에서 변수를 소거할 수 있다.^[5]

5. 일차 부등식의 활용

일차 부등식은 여러 실생활 문제와 수학적 모델링에 활용된다.

일차 부등식 여러 개의 해집합은 n차원 실수 공간에서 반공간들의 교집합으로 나타낼 수 있으며, 이는 볼록 다면체를 이룬다. 선형 부등식 시스템의 해 집합은 각 부등식에 의해 정의된 반공간들의 교집합이며, 볼록 집합이다.^[6]

선형 계획법 문제는 변수에 대한 여러 선형 부등식 제약 조건에 따라 목적 함수를 최적화(최댓값 또는 최솟값 찾기)하는 것을 목표로 한다.^[6]

5. 1. 다면체

여러 개의 일차 부등식의 해집합은 n차원 실수 공간에서 반공간들의 교집합으로 나타낼 수 있으며, 이는 볼록 다면체를 이룬다. 선형 부등식 시스템의 해 집합은 개별 부등식에 의해 정의된 반공간들의 교집합에 해당하며, 볼록 집합이다. 이는 반공간이 볼록 집합이고 볼록 집합들의 교집합 역시 볼록하기 때문이다. 비퇴화된 경우에 이 볼록 집합은 볼록 다면체(예: 반공간, 두 평행 반공간 사이의 슬래브 또는 다면체 원뿔로, 무한정일 수 있음)이다. 또한, n차원 공간 '''R'''^''n''의 아핀 부분 공간에 국한된, 비어 있거나 더 낮은 차원의 볼록 다면체일 수도 있다.

5. 2. 선형 계획법

선형 계획법 문제는 일반적으로 변수에 대한 여러 선형 부등식 제약 조건에 따라 함수(목적 함수)를 최적화(최댓값 또는 최솟값 찾기)하는 것을 목표로 한다.^[6] 제약 조건 목록은 선형 부등식 시스템이다.

6. 일반화

일차 부등식의 개념은 덧셈, 곱셈, 비교 연산이 잘 정의되어야 하므로, 순서환, 특히 순서체로 확장될 수 있다.^[1]

참조

_[1] 서적 1986
_[2] 문서
_[3] 서적 1989
_[4] 문서
_[5] 서적 Understanding and Using Linear Programming Springer 2006
_[6] 서적 1989

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com