Jak napisać pracę magisterską z matematyki, dowody, definicje, LaTeX

Praca magisterska z matematyki to tekst, w którym każde słowo ma znaczenie. W odróżnieniu od prac humanistycznych nie możesz tu pozwolić sobie na interpretacyjną swobodę, a w odróżnieniu od prac przyrodniczych nie przeprowadzasz eksperymentów. Budujesz logiczny gmach: od definicji przez lematy do twierdzeń. Jeśli którykolwiek element jest słaby, cała konstrukcja się chwieje. Ten przewodnik pokaże Ci, jak pisać pracę z matematyki poprawnie pod każdym względem, merytorycznym, formalnym i językowym.

Dwa rodzaje prac magisterskich z matematyki

Zanim zaczniesz planować strukturę, ustal, z jakim typem pracy masz do czynienia.

Praca czysto teoretyczna, zajmujesz się nową teorią, uogólnieniem znanych wyników lub dowodem twierdzenia, które było dotąd otwartym problemem (lub jego szczególnym przypadkiem). Liczą się precyzja definicji, poprawność dowodów i elegancja wywodu.

Praca z matematyki stosowanej, budujesz model matematyczny opisujący zjawisko z fizyki, ekonomii, biologii lub informatyki. Obok aparatu teoretycznego pojawiają się symulacje numeryczne, analiza danych i wnioski o świecie poza matematyką.

W obu przypadkach od studenta oczekuje się tej samej precyzji języka matematycznego. Różnica leży w motywacji i końcowych wnioskach.

Struktura pracy magisterskiej z matematyki

Wstęp

Wstęp pełni dwojaką funkcję: przyciąga czytelnika i lokuje Twoją pracę w kontekście matematycznym. Napisz, dlaczego dany problem jest interesujący, jakie są wcześniejsze wyniki w literaturze i co Ty wnosisz nowego lub jak syntezujesz istniejącą wiedzę.

Unikaj opisu „co będzie w rozdziałach”, przeznacz na to co najwyżej jedno zdanie na końcu wstępu. Zamiast tego poświęć miejsce na sformułowanie głównego wyniku: „W niniejszej pracy dowodzimy, że…”.

Preliminaria i oznaczenia

Rozdział wstępny z definicjami i wykazem oznaczeń jest niemal obowiązkowy w matematycznej pracy magisterskiej. Jego cel to zapewnienie, że czytelnik i autor używają tych samych symboli w tym samym znaczeniu. Wprowadź tu wszystkie obiekty, które będziesz później wykorzystywał, przestrzenie, operatory, klasy funkcji.

Przykład dobrego otwierającego zdania: „Przez cały czas będziemy zakładać, że (X, d) jest przestrzenią metryczną zupełną, chyba że zaznaczono inaczej.”

Twierdzenia, lematy i dowody

To serce każdej pracy matematycznej. Hierarchia w zapisie powinna być konsekwentna:

• Definicja, precyzuje, co rozumiesz przez dany obiekt
• Lemat, pomocniczy wynik, którego użyjesz w dowodzie twierdzenia głównego
• Twierdzenie (Theorem), główny wynik
• Wniosek (Corollary), bezpośrednia konsekwencja twierdzenia
• Uwaga (Remark), dodatkowy komentarz, intuicja, ostrzeżenie

Każdy dowód kończy się symbolem QED (LaTeX: qed z pakietu amsthm) lub kwadratem ∎. Nie kończ dowodu zdaniem „co kończy dowód” bez tego znacznika, to niestaranne.

Przykłady i kontrprzykłady

Dobra praca matematyczna zawiera przykłady ilustrujące twierdzenia oraz kontrprzykłady pokazujące, dlaczego założenia są niezbędne. Jeśli twierdzenie wymaga, żeby przestrzeń była zwarta, pokaż przykład, w którym zwartość odpada i twierdzenie przestaje być prawdziwe.

Kontrprzykłady to nie słabość, to dowód głębokiego rozumienia tematu.

Omówienie wyników i podsumowanie

W matematyce czystej ta sekcja jest zazwyczaj krótka: rekapitulujesz udowodnione wyniki, wskazujesz otwarte pytania, które z nich wynikają. W matematyce stosowanej interpretujesz wyniki modelu i dyskutujesz ograniczenia.

LaTeX, absolutny wymóg

Praca magisterska z matematyki bez LaTeXa jest nie do zaakceptowania na żadnym szanującym się wydziale. LaTeX nie jest trudny, jest tylko inny niż Word. Kilka godzin z tutorialem wystarczy, żeby pisać sprawnie.

Kluczowe pakiety:

usepackage{amsmath}      % align, gathered, multline, środowiska równań
usepackage{amssymb}      % mathbb{R}, mathcal{F}, varnothing
usepackage{amsthm}       % newtheorem, środowisko proof z QED
usepackage{mathtools}    % rozszerzenie amsmath: coloneqq, shortintertext
usepackage{thmtools}     % lista twierdzeń, referencje
usepackage{cleveref}     % cref{thm:glowne} → "Twierdzenie 2.3"
usepackage{hyperref}     % hiperłącza w PDF

Definiowanie środowisk twierdzeń:

newtheorem{theorem}{Twierdzenie}[chapter]
newtheorem{lemma}[theorem]{Lemat}
newtheorem{corollary}[theorem]{Wniosek}
newtheorem{definition}[theorem]{Definicja}
newtheorem*{remark}{Uwaga}

Użycie:

begin{theorem}[Banach]label{thm:banach}
  Niech $(X, d)$ będzie przestrzenią metryczną zupełną i niech $T colon X to X$
  będzie kontrakcją. Wówczas $T$ ma dokładnie jeden punkt stały.
end{theorem}

begin{proof}
  Konstruujemy ciąg Cauchy'ego $(x_n)$...
end{proof}

Notacja, konsekwencja przez całą pracę

Jednym z najczęstszych błędów w pracach matematycznych jest niespójność notacji. Żeby jej uniknąć:

1. Na początku pracy stwórz prywatną tabelę symboli (nawet jeśli nie dołączysz jej do pracy).
2. Zdecyduj raz na zawsze: czy piszesz $mathbb{N}$ z zerem czy bez? Czy operatory lipejskie dajesz kursywą ($f$) czy prostą ($mathrm{f}$)? Trzymaj się tej decyzji
3. Unikaj przeciążania symboli, jeśli k to stała krzywizny, nie używaj k jako indeksu w tej samej sekcji

Dwukropek vs. myślnik w definicjach: w polskiej tradycji matematycznej piszemy „Mówimy, że $f$ jest ciągła, jeśli…” lub „Funkcję $f$ nazywamy ciągłą, gdy…”, nie „Funkcja $f$ jest ciągła $Leftrightarrow$…” w tekście ciągłym.

Poziom szczegółowości dowodów

Nie ma jednej dobrej odpowiedzi, jak szczegółowy powinien być dowód. Kieruj się prostą zasadą: czytelnikiem jest student matematyki na Twoim poziomie, który nie zna Twojej pracy, ale zna podstawy dziedziny.

• Nie pomijaj kroków nieliniowych, jeśli krok nie jest trywialny, zapisz go
• Możesz pomijać kroki czysto techniczne, powołując się na standard („standardowe rachunki pokazują, że…”), ale nie nadużywaj tego
• Cytuj wprost gdy korzystasz z twierdzenia z literatury: „Korzystając z twierdzenia Hahna-Banacha [12, Thm. 3.5]…”.

Promotorzy zazwyczaj wolą dowody zbyt szczegółowe niż zbyt skrótowe. Luki w dowodach to najczęstsza przyczyna odesłania pracy do poprawek.

Cytowanie w pracach matematycznych

W matematyce dominuje cytowanie numeryczne w nawiasach kwadratowych: [3], [12, Thm. 2.1]. Lista literatury ułożona jest alfabetycznie (wg nazwiska pierwszego autora) lub w kolejności cytowania, ustal z promotorem.

Przykładowy wpis w formacie matematycznym:

[1] W. Rudin, Functional Analysis, 2nd ed., McGraw-Hill, New York, 1991.
[2] H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, New York, 2011.

Do zarządzania bibliografią w LaTeXu użyj BibTeXa lub BibLaTeXa (z backendem Biber, nowocześniejsza opcja).

Matematyka stosowana, dodatkowe aspekty

Jeśli Twoja praca zawiera komponent numeryczny lub modelarski, zadbaj o:

• Opis modelu: jakie założenia upraszające przyjmujesz i dlaczego są uzasadnione
• Analiza zbieżności lub stabilności: dla schematów numerycznych podaj rząd metody, warunki zbieżności (np. kryterium CFL dla równań różniczkowych).
• Walidację: porównanie wyników numerycznych z rozwiązaniami analitycznymi w przypadkach granicznych lub z danymi literaturowymi
• Kod: podaj język i wersję (Python 3.11, R 4.4), najważniejsze biblioteki. Pełny kod jako dodatek lub link do repozytorium

Najczęściej zadawane pytania

Zadbaj o językową stronę swojej pracy

Precyzja języka matematycznego to nie tylko symbole, to też poprawna polszczyzna w zdaniach łącznikowych, konsekwentna terminologia i brak literówek w oznaczeniach. Recenzenci zapamiętują pracę z błędami językowymi długo po jej obronie.

Jeśli chcesz mieć pewność, że Twoja praca spełnia standardy językowe i edytorskie, skorzystaj z profesjonalnej korekty pracy magisterskiej. Wycenę otrzymasz w ciągu 24 godzin.

Natalia Witek-Dąbrowska

Redaktorka i korektorka z 20-letnim doświadczeniem

Specjalizuję się w korekcie prac naukowych i dyplomowych. Jeśli potrzebujesz pomocy z tekstem, napisz do mnie.