Matematika A3a 2008/1. gyakorlat

Topológia C-ben

C, azaz a komplex számok teste kétdimenziós valós vektortér. C elemei reprezentálhatók az R² síkon, a következő megfeleltetésekkel:

$\mathbf{C}\ni a+bi\equiv (a,b)\in \mathbf{R}^2$

a vektortérműveletek pedig:

$\mathbf{C}\ni (a+bi)+(c+di)\equiv (a,b)+(c,d)\in \mathbf{R}^2$ vektorösszeadás (a, b, c, d ∈ R)

$\mathbf{C}\ni \lambda\cdot(a+bi)\equiv \lambda.(a,b)\in \mathbf{R}^2$ valós számmal való szorzás (λ, a, b ∈ R)

C-ben tehát értelmezhetjük a gömbi környezeteket, mint az R² sík pontjai körüli gömböket. Ezzel meg is kaptuk a C-beli nyílt halmazokat, azaz C topológiáját. A gömbök tehát a Gauss-számsík körlapjai:

$B_r(z)=\{w\in \mathbf{C}\mid |w-z|< r\}$

ahol z ∈ C, r > 0 valós szám.

Világos, hogy akármilyen R²-beli norma szerinti gömböket is választhattunk volna a C gömbjeinek, mert R²-ben minden norma ugyanazt a topológiát származtatja. Mi a ||.||₂-t, azaz az euklideszi normát emeltük ki.

Folytonosság

Egy f : C $\to$ C függvény folytonossága ezennel értelmezve van éspedig nem más, mint az R²-beli ||.||₂ norma szerinti folytonosság. (HF: fogalmazzuk meg a C $\to$ C függvények folytonosságának epszilon-deltás definícióját!)

Lineáris (jobban mondva R-lineáris), R^N $\to$ R^M függvény folytonos, így a műveltek folytonosak lesznek:

$(a,b)+.\;:\mathbf{R}^2\to\mathbf{R}^2,\quad(x,y)\mapsto\begin{pmatrix}a + x\\b + y\end{pmatrix}$

és

$+\;:\mathbf{R}^2\times\mathbf{R}^2\to\mathbf{R}^2,\quad((a,b),(c,d))\mapsto\begin{pmatrix}a + c\\b + d\end{pmatrix}$

folytonosak (az egyik az ||.||_C,||.||_C, a másik a ||.||_C×C,||.||_C normapárok szerint).

Mi több, a komplex számok legjellegzetesebb algebrai-topológiai tulajdonsága, hogy a komplex számok

$(a+b\mathrm{i})\cdot (c+d\mathrm{i})=_{\mathrm{def}}(ac-bd)+(ad+bc)\mathrm{i}$

szorzása is mindkét változójában R-lineáris, így folytonos.

Szemléletessé tehetjük a két fenti példát, ha a két művelet geometriai jelentését tekintjük. A hozzáadás eltolás, a komplex számmal szorzás forgatva nyújtás, így a gömbi környzeteket olyan alakzatokba képezik, melyek geoetriai okokból mutatják a folytonosságot:

w + B_r(z₀) = B_r(w + z₀)

$w\cdot B_r(z_0)\subseteq B_{r\cdot|w|}(wz_0)$