GATE 수학 — 출제범위, 주요 주제와 핵심 공식

GATE Mathematics는 보통 MA 시험을 뜻합니다. 여러분이 찾는 것이 이것이라면, 출제범위는 매우 넓습니다. Calculus와 Linear Algebra부터 Topology와 Linear Programming까지 11개의 주요 영역을 포함하고, 모든 GATE 시험에 공통으로 들어가는 General Aptitude 섹션도 함께 다룹니다.

가장 먼저 정확히 구분해야 할 것은 이름입니다. MA 시험은 EE, ME, CSE 같은 시험 안에 들어 있는 Engineering Mathematics 부분과 같지 않습니다. 이 둘을 혼동하면 공부 계획은 시작하기도 전에 어긋나게 됩니다.

GATE Mathematics에서 다루는 내용

MA 출제범위는 보통 다음과 같은 큰 단원으로 묶입니다:

• Calculus
• Linear Algebra
• Real Analysis
• Complex Analysis
• Ordinary Differential Equations
• Algebra
• Functional Analysis
• Numerical Analysis
• Partial Differential Equations
• Topology
• Linear Programming

이 목록은 의도적으로 넓게 제시됩니다. 이를 가장 빠르게 이해하는 방법은 실제 공부 방식에 따라 주제를 나누는 것입니다:

• 계산 비중이 큰 단원에는 보통 Calculus, Linear Algebra, Complex Analysis, Ordinary Differential Equations, Numerical Analysis, Partial Differential Equations, 그리고 Linear Programming의 일부가 포함됩니다.
• 정의와 정리 비중이 큰 단원에는 보통 Real Analysis, Algebra, Functional Analysis, Topology가 포함됩니다.
• 혼합형 단원은 계산 기법과 이론을 모두 요구합니다. Complex Analysis와 Linear Algebra가 좋은 예입니다.

이 페이지에서 한 가지만 기억한다면 이것입니다. GATE Mathematics는 하나의 "공식 과목"이 아닙니다. 어떤 단원은 빠른 계산이 점수로 이어지지만, 다른 단원은 정의와 가정을 얼마나 정확히 쓰는지가 더 중요합니다.

어떤 GATE 수학 주제에 공식이 필요한가

"핵심 공식"이라는 표현은 유용하지만, 어디까지나 일정 부분까지만 그렇습니다. MA의 여러 주제에서는 긴 공식 목록을 외우는 것보다, 어떤 정리가 언제 적용되는지를 아는 것이 실제 점수 차이를 만듭니다.

예를 들어 Real Analysis에서는 dominated convergence theorem이 매우 강력하지만, 그 가정이 실제로 만족될 때만 사용할 수 있습니다. Algebra에서는 공식집을 들고 있는 것보다 Sylow 정리의 진술을 정확히 아는 것이 더 중요합니다. Topology에서는 compactness, connectedness, basis, quotient topology 같은 정의가 대부분의 문제 해결을 이끕니다.

따라서 실전적인 원칙은 다음과 같습니다:

• 계산 중심 단원에는 공식집을 따로 만든다.
• 증명 중심 단원에는 조건 정리표를 따로 만든다.

복습할 가치가 있는 핵심 공식

이것이 출제범위 전체는 아닙니다. 다만 표준적인 풀이 흐름을 빠르게 알아보는 데 도움이 되는 기준 공식들입니다.

Calculus와 최적화

스칼라 함수 $f(x_1, \dots, x_n)$에 대해, gradient는 다음과 같습니다.

$$\nabla f = \left(\frac{\partial f}{\partial x_1}, \dots, \frac{\partial f}{\partial x_n}\right)$$

매끄러운 제약식 $g(x_1, \dots, x_n) = c$ 아래에서 극값을 구할 때, Lagrange multiplier 조건은 다음과 같습니다.

$$\nabla f = \lambda \nabla g$$

이 조건은 해당 방법을 적용할 수 있는 후보점에서 사용됩니다. 이것만으로 최대값이나 최소값이 보장되는 것은 아닙니다.

Linear Algebra

정사각행렬 $A$의 characteristic polynomial은 다음과 같습니다.

$$p_A(\lambda) = \det(\lambda I - A)$$

eigenvalue와 eigenvector는 다음 관계를 만족합니다.

$$Av = \lambda v$$

유한차원 벡터공간에서 선형사상 $T: V \to W$에 대해,

$$\dim(V) = \operatorname{rank}(T) + \operatorname{nullity}(T)$$

이 rank-nullity 관계는 계산뿐 아니라 증명에서도 자주 쓰이는 구조적 사실입니다.

Complex Analysis

함수 $f$가 적절한 단순 폐곡선 $C$의 내부와 경계에서 해석적이면, Cauchy의 적분 공식에 의해

$$f(a) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z-a}\,dz$$

가 성립합니다.

$C$ 내부에 고립특이점이 있을 때, residue theorem은 다음과 같이 말합니다.

$$\oint_C f(z)\,dz = 2\pi i \sum \operatorname{Res}(f; a_k)$$

여기서도 조건이 중요합니다. 해석성과 경로에 대한 가정이 충족되어야 합니다.

Numerical Analysis

$f(x)=0$을 푸는 Newton-Raphson 반복법은 다음과 같습니다.

$$x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$$

이 방법은 $f'(x_n) \ne 0$이어야 하며, 초기 추정값이 적절하고 근 근처에서 함수의 거동이 좋아야 잘 작동합니다.

복합 trapezoidal rule에서 $h = \frac{b-a}{n}$이면,

$$\int_a^b f(x)\,dx \approx \frac{h}{2}\left[f(x_0) + 2\sum_{k=1}^{n-1} f(x_k) + f(x_n)\right]$$

가 됩니다.

이 식은 항등식이 아니라 근사 공식입니다.

Differential Equations와 변환

Laplace transform은 다음과 같이 정의됩니다.

$$\mathcal{L}\{f\}(s) = \int_0^\infty e^{-st} f(t)\,dt$$

단, 이 적분이 수렴해야 합니다.

PDE에서는 하나의 공식보다 분류, canonical form, separation of variables, transform method가 더 중요합니다. 따라서 식 목록만 외우기보다 풀이 절차를 기억하는 편이 낫습니다.

Linear Programming

표준적인 linear programming 모형은 다음과 같이 씁니다.

$$\text{maximize or minimize } c^T x \quad \text{subject to } Ax \le b,\ x \ge 0$$

정확한 형태는 문제의 조건에 따라 달라집니다. 이 단원에서는 푸는 것만큼 모델을 세우는 과정도 중요합니다.

예제로 보기: $\sqrt{2}$에 대한 Newton-Raphson

다음을 잡습니다.

$$f(x) = x^2 - 2$$

그러면

$$f'(x) = 2x$$

입니다.

Newton-Raphson을 적용하면

$$x_{n+1} = x_n - \frac{x_n^2 - 2}{2x_n}$$

를 얻습니다.

초기값을 $x_0 = 1.5$로 두면,

$$x_1 = 1.5 - \frac{1.5^2 - 2}{2(1.5)} = 1.5 - \frac{0.25}{3} = 1.4167$$

입니다.

한 번 더 반복하면

$$x_2 = 1.4167 - \frac{1.4167^2 - 2}{2(1.4167)} \approx 1.4142$$

가 됩니다.

이는 이미 $\sqrt{2} \approx 1.4142$에 매우 가깝습니다.

이 예제를 기억할 만한 이유는, 공식을 아는 것과 방법을 아는 것의 차이를 잘 보여주기 때문입니다. GATE Mathematics의 많은 문제는 결국 하나의 표준 방법을 깔끔한 단계들로 전개할 수 있는지를 묻습니다.

GATE Mathematics 준비에서 흔한 실수

MA와 Engineering Mathematics를 혼동하기

가장 기본적인 실수입니다. 공식적인 MA 시험은 다른 많은 GATE 시험의 수학 섹션보다 훨씬 범위가 넓습니다.

공식집만 만들기

이 방식은 Real Analysis, Algebra, Functional Analysis, Topology에서는 잘 통하지 않습니다. 이런 과목에서는 정의, 예시, 정리의 조건이 훨씬 더 큰 비중을 가집니다.

가정을 확인하지 않고 정리를 사용하기

많은 오답은 정리 자체는 맞지만, 필요한 가정을 전혀 확인하지 않아서 그럴듯해 보이는 경우입니다. 이런 문제는 convergence theorem, inverse function theorem, implicit function theorem, contour integration 결과에서 자주 나타납니다.

수치해석 방법을 정확한 해법처럼 다루기

Newton-Raphson, trapezoidal rule, Simpson rule, Jacobi iteration, Gauss-Seidel 같은 방법은 수치적 절차입니다. 여기에는 근사 오차나 수렴 조건이 따릅니다.

Linear Programming에서 문제 설정을 무시하기

모형만 올바르면 계산 자체는 쉬울 수 있습니다. 하지만 실제 실수는 대개 그보다 한 단계 앞, 즉 목적함수나 제약식을 잘못 세우는 데서 발생합니다.

언제 GATE Mathematics가 공식 과목처럼 보이는가

GATE Mathematics는 표준 도구를 반복해서 적용하는 단원에서는 공식 과목처럼 보입니다. 예를 들어 고유값 구하기, residue 계산, Newton-Raphson 반복, 미분방정식 풀이, linear program 설정 같은 경우입니다.

반대로 정의와 정리의 가정을 세심하게 해석해야 하는 단원에서는 공식 과목처럼 보이지 않습니다. Real Analysis, Algebra, Functional Analysis, Topology가 대체로 이런 방식으로 출제됩니다.

GATE Mathematics를 효율적으로 복습하는 방법

실전적인 복습 계획은 노트를 다음 세 가지 압축된 섹션으로 나누는 것입니다:

• 공식과 계산 템플릿용 섹션 하나
• 정의, 정리의 진술, 표준 반례용 섹션 하나
• 짧은 풀이 예제용 섹션 하나

이 구조는 하나의 긴 노트보다 출제범위에 더 잘 맞습니다. 또한 공식 비중이 큰 단원은 과하게 공부하고, 증명 비중이 큰 단원은 덜 공부하는 실수를 막아 줍니다.

이 개요가 특히 유용한 때

이 페이지는 준비 초반에 MA 시험의 전체 윤곽을 빠르게 파악해야 할 때 가장 유용합니다. 또 복습 단계에서 무엇을 공식집에 넣고 무엇을 정리 노트에 넣어야 할지 결정할 때도 도움이 됩니다.

특정 전공의 GATE 시험에서 MA로 옮겨오는 경우에도 유용합니다. 그 차이는 단지 난이도의 문제가 아니라, 평가되는 수학의 성격 자체가 다르기 때문입니다.

직접 정리해 보기

MA의 한 단원을 골라 두 부분으로 이루어진 1페이지 요약을 만들어 보세요. 하나는 절대 놓치면 안 되는 조건들, 다른 하나는 그 단원에서 가장 자주 쓰는 두세 개의 공식이나 방법입니다. Newton-Raphson 반복이나 고유값 계산 같은 단계의 산술을 확인하고 싶다면, GPAI Solver로 직접 계산해 보고 손으로 푼 풀이와 비교해 보세요.