GATE Mathematics — sylabus, tematy i najważniejsze wzory

GATE Mathematics zwykle oznacza arkusz MA. Jeśli właśnie tego szukasz, sylabus jest szeroki: obejmuje 11 głównych obszarów, od rachunku różniczkowego i całkowego oraz algebry liniowej po topologię i programowanie liniowe, a do tego wspólną sekcję General Aptitude, która pojawia się w każdym arkuszu GATE.

Pierwszą rzeczą, którą trzeba dobrze rozróżnić, jest nazwa. Arkusz MA to nie to samo co część Engineering Mathematics w arkuszach takich jak EE, ME czy CSE. Jeśli to pomylisz, Twój plan nauki będzie błędny jeszcze zanim zaczniesz.

Co obejmuje GATE Mathematics

Sylabus MA zwykle grupuje się w następujące szerokie działy:

• Rachunek różniczkowy i całkowy
• Algebra liniowa
• Analiza rzeczywista
• Analiza zespolona
• Równania różniczkowe zwyczajne
• Algebra
• Analiza funkcjonalna
• Analiza numeryczna
• Równania różniczkowe cząstkowe
• Topologia
• Programowanie liniowe

Ta lista jest celowo szeroka. Najszybszy sposób, by ją zrozumieć, to uporządkować tematy według tego, jak faktycznie się ich uczysz:

• Działy oparte głównie na obliczeniach zwykle obejmują rachunek różniczkowy i całkowy, algebrę liniową, analizę zespoloną, równania różniczkowe zwyczajne, analizę numeryczną, równania różniczkowe cząstkowe oraz część programowania liniowego.
• Działy oparte głównie na definicjach i twierdzeniach zwykle obejmują analizę rzeczywistą, algebrę, analizę funkcjonalną i topologię.
• Działy mieszane wymagają zarówno techniki, jak i teorii. Dobrymi przykładami są analiza zespolona i algebra liniowa.

Jeśli masz zapamiętać z tej strony tylko jedną myśl, niech będzie to ta: GATE Mathematics nie jest jednym „przedmiotem ze wzorów”. W niektórych działach liczy się szybkie liczenie, ale w innych kluczowe jest uważne stosowanie definicji i założeń.

Które tematy GATE Math wymagają wzorów

Wyrażenie „najważniejsze wzory” jest przydatne, ale tylko do pewnego momentu. W kilku tematach MA prawdziwa różnica w punktacji wynika z tego, czy wiesz, kiedy dane twierdzenie można zastosować, a nie z pamięciowego opanowania długiej listy wzorów.

Na przykład w analizie rzeczywistej twierdzenie o zbieżności zdominowanej jest bardzo silne, ale tylko wtedy, gdy jego założenia są rzeczywiście spełnione. W algebrze ważniejsze jest znać treść twierdzeń Sylowa niż nosić ze sobą kartę wzorów. W topologii definicje takie jak zwartość, spójność, baza i topologia ilorazowa wykonują większość pracy.

Praktyczna zasada jest więc taka:

• Miej kartę wzorów dla bloków obliczeniowych.
• Miej kartę warunków dla bloków opartych na dowodach.

Najważniejsze wzory warte powtórki

To nie jest cały sylabus. To wzory bazowe, które pomagają szybko rozpoznawać standardowe schematy postępowania.

Rachunek różniczkowy i całkowy oraz optymalizacja

Dla funkcji skalarnej $f(x_1, \dots, x_n)$ gradient ma postać

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

Dla ekstremów warunkowych z gładkim ograniczeniem $g(x_1, \dots, x_n) = c$, warunek mnożników Lagrange’a ma postać

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

Warunek ten stosuje się w punktach kandydackich, w których metoda ma zastosowanie. Sam w sobie nie gwarantuje maksimum ani minimum.

Algebra liniowa

Wielomian charakterystyczny macierzy kwadratowej $A$ ma postać

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

Wartości własne i wektory własne spełniają

$$Av = \lambda v$$

Dla przekształcenia liniowego $T: V \to W$ na skończenie wymiarowej przestrzeni wektorowej,

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

Ta zależność rangi i niewymiarowości jest faktem strukturalnym, z którego często korzysta się zarówno w dowodach, jak i w obliczeniach.

Analiza zespolona

Jeśli $f$ jest analityczna na odpowiednim prostym domkniętym konturze $C$ i wewnątrz niego, to wzór całkowy Cauchy’ego daje

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

Dla osobliwych punktów izolowanych wewnątrz $C$, twierdzenie o residuach mówi, że

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

Tutaj również warunki mają znaczenie: muszą być spełnione założenia dotyczące analityczności i konturu.

Analiza numeryczna

Iteracja Newtona-Raphsona do rozwiązywania równania $f(x)=0$ ma postać

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

Wymaga to, aby $f'(x_n) \ne 0$, i działa dobrze tylko wtedy, gdy punkt startowy jest rozsądny, a funkcja zachowuje się dobrze w pobliżu pierwiastka.

Dla złożonej metody trapezów z $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]$$

Jest to wzór przybliżony, a nie tożsamość.

Równania różniczkowe i transformaty

Transformata Laplace’a jest zdefiniowana przez

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

gdy całka jest zbieżna.

W przypadku równań różniczkowych cząstkowych klasyfikacja, postacie kanoniczne, rozdzielanie zmiennych i metody transformat są ważniejsze niż jeden konkretny wzór, dlatego lepiej zapamiętać schemat działania niż samą listę wyrażeń.

Programowanie liniowe

Standardowy model programowania liniowego zapisuje się jako

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

Dokładna postać zależy od treści zadania. W tym dziale samo sformułowanie modelu jest równie ważne jak jego rozwiązanie.

Przykład: Newton-Raphson dla $\sqrt{2}$

Weźmy

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

Wtedy

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

Metoda Newtona-Raphsona daje

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

Zacznij od $x_0 = 1.5$. Wtedy

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

Jeszcze jeden krok daje

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

To już jest bardzo blisko $\sqrt{2} \approx 1.4142$.

Warto to zapamiętać, bo pokazuje różnicę między znajomością wzoru a znajomością metody. W GATE Mathematics wiele pytań naprawdę sprowadza się do zamiany jednej standardowej metody w czystą sekwencję kroków.

Częste błędy w przygotowaniu do GATE Mathematics

Mylenie MA z Engineering Mathematics

To najbardziej podstawowy błąd. Oficjalny arkusz MA jest znacznie szerszy niż sekcja matematyczna w wielu innych arkuszach GATE.

Tworzenie wyłącznie karty wzorów

To słabo działa w analizie rzeczywistej, algebrze, analizie funkcjonalnej i topologii. W tych przedmiotach definicje, przykłady i założenia twierdzeń mają dużo większe znaczenie.

Używanie twierdzenia bez sprawdzenia jego założeń

Wiele błędnych rozwiązań wygląda wiarygodnie, ponieważ samo twierdzenie jest poprawne, ale jego założenia nigdy nie zostały sprawdzone. Często zdarza się to przy twierdzeniach o zbieżności, twierdzeniach o funkcji odwrotnej i uwikłanej oraz wynikach dotyczących całkowania po konturze.

Traktowanie metod numerycznych jako dokładnych

Metody takie jak Newton-Raphson, metoda trapezów, metoda Simpsona, iteracja Jacobiego i Gaussa-Seidla są procedurami numerycznymi. Wiążą się z warunkami przybliżenia albo zbieżności.

Ignorowanie etapu formułowania zadania w programowaniu liniowym

Algebra może być łatwa, gdy model jest poprawny, ale prawdziwy błąd często pojawia się krok wcześniej, gdy funkcja celu lub ograniczenia zostają zapisane niepoprawnie.

Kiedy GATE Mathematics zachowuje się jak przedmiot oparty na wzorach

GATE Mathematics zachowuje się jak przedmiot oparty na wzorach w tych działach, w których wielokrotnie stosujesz standardowe narzędzie: wyznaczanie wartości własnych, obliczanie residuów, iteracje Newtona-Raphsona, rozwiązywanie równania różniczkowego albo formułowanie zadania programowania liniowego.

W mniejszym stopniu przypomina taki przedmiot w działach, gdzie trzeba uważnie interpretować definicje i założenia twierdzeń. Analiza rzeczywista, algebra, analiza funkcjonalna i topologia często działają właśnie w ten sposób.

Jak skutecznie powtarzać GATE Mathematics

Praktyczny plan powtórek polega na podzieleniu notatek na trzy zwarte części:

• Jedną dla wzorów i schematów obliczeniowych
• Jedną dla definicji, treści twierdzeń i standardowych kontrprzykładów
• Jedną dla krótkich rozwiązanych zadań

Taka struktura lepiej odpowiada sylabusowi niż jeden długi zeszyt. Pomaga też uniknąć nadmiernej nauki działów opartych na wzorach i zbyt słabego przygotowania działów opartych na dowodach.

Kiedy ten przegląd jest najbardziej przydatny

Ta strona jest najbardziej przydatna na początku przygotowań, gdy chcesz szybko zobaczyć ogólny kształt arkusza MA, oraz podczas powtórek, gdy chcesz zdecydować, co powinno znaleźć się na karcie wzorów, a co na karcie twierdzeń.

Jest też przydatna, jeśli przechodzisz z arkusza GATE specyficznego dla danej dziedziny na MA, ponieważ ta zmiana nie dotyczy tylko poziomu trudności. Dotyczy także rodzaju matematyki, która jest sprawdzana.

Spróbuj przygotować własną wersję

Wybierz jeden dział MA i przygotuj jednostronicowe podsumowanie złożone z dwóch części: warunków, o których nie wolno zapomnieć, oraz dwóch lub trzech wzorów albo metod najczęściej używanych w tym dziale. Jeśli chcesz sprawdzić rachunki w kroku takim jak iteracja Newtona-Raphsona albo obliczanie wartości własnych, wypróbuj własną wersję w GPAI Solver i porównaj ją ze swoim rozwiązaniem odręcznym.