USEAN MUUTTUJAN FUNKTIOT II. Kari Ylinen

Samankaltaiset tiedostot
Täydellisyysaksiooman kertaus

Derivaatta: funktion approksimaatio lineaarikuvauksella.

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

Vektorianalyysi I MAT Luennoitsija: Ritva Hurri-Syrjänen Luentoajat: ti: 14:15-16:00, to: 12:15-14:00 Helsingin yliopisto 21.

8. Avoimen kuvauksen lause

1 Supremum ja infimum

r > y x z x = z y + y x z y + y x = r y x + y x = r

1 sup- ja inf-esimerkkejä

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

Luento 8: Epälineaarinen optimointi

Metriset avaruudet. Erno Kauranen. 1 Versio: 10. lokakuuta 2016, 00:00

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

1 Määrittelyjä ja aputuloksia

MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I

Seuraava topologisluonteinen lause on nk. Bairen lause tai Bairen kategorialause, n=1

1 Lineaariavaruus eli Vektoriavaruus

7. Tasaisen rajoituksen periaate

Luento 8: Epälineaarinen optimointi

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

802320A LINEAARIALGEBRA OSA I

Vektorianalyysi II (MAT21020), syksy 2018

802320A LINEAARIALGEBRA OSA II

3.4 Käänteiskuvauslause ja implisiittifunktiolause

=p(x) + p(y), joten ehto (N1) on voimassa. Jos lisäksi λ on skalaari, niin

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

3.3 Funktion raja-arvo

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina.

1 Sisätulo- ja normiavaruudet

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Analyysi 1. Harjoituksia lukuihin 1 3 / Syksy Osoita täsmällisesti perustellen, että joukko A = x 4 ei ole ylhäältä rajoitettu.

1 sup- ja inf-esimerkkejä

Oletetaan ensin, että tangenttitaso on olemassa. Nyt pinnalla S on koordinaattiesitys ψ, jolle pätee että kaikilla x V U

Harjoitusten 4 ratkaisut Topologiset vektoriavaruudet 2010

Selvästi. F (a) F (y) < r x d aina, kun a y < δ. Kolmioepäyhtälön nojalla x F (y) x F (a) + F (a) F (y) < d + r x d = r x

Johdatus topologiaan (4 op)

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

Ratkaisu: Ensimmäinen suunta. Olkoon f : R n R m jatkuva eli kaikilla ε > 0 on olemassa sellainen δ > 0, että. kun x a < δ. Nyt kaikilla j = 1,...

Taustatietoja ja perusteita

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

9. Lineaaristen differentiaaliyhtälöiden ratkaisuavaruuksista

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus

Ratkaisu: (i) Joukko A X on avoin jos kaikilla x A on olemassa r > 0 siten että B(x, r) A. Joukko B X on suljettu jos komplementti B c on avoin.

Metriset avaruudet 2017

Metriset avaruudet 2017

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

FUNKTIONAALIANALYYSIN PERUSKURSSI Johdanto

802320A LINEAARIALGEBRA OSA III

Reaaliluvut. tapauksessa metrisen avaruuden täydellisyyden kohdalla. 1 fi.wikipedia.org/wiki/reaaliluku 1 / 13

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa

Metriset avaruudet ja Topologia

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )

Insinöörimatematiikka D

Laskutoimitusten operaattorinormeista

Tehtävä 1. Näytä, että tason avoimessa yksikköpallossa

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

MS-C1340 Lineaarialgebra ja

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

Derivaattaluvut ja Dini derivaatat

8. Avoimen kuvauksen lause

Luku 4. Derivoituvien funktioiden ominaisuuksia.

x = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );

Tenttiin valmentavia harjoituksia

Funktiojonon tasainen suppeneminen

Insinöörimatematiikka D

Kuvaus. Määritelmä. LM2, Kesä /160

Differentiaalimuodot

U β T. (1) U β T. (2) {,X} T. (3)

Konvergenssilauseita

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia

Luku 2. Jatkuvien funktioiden ominaisuuksia.

Usean muuttujan differentiaalilaskenta

peitteestä voidaan valita äärellinen osapeite). Äärellisen monen nollajoukon yhdiste on nollajoukko.

MS-C1540 Euklidiset avaruudet

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

3 Lukujonon raja-arvo

2 Konveksisuus ja ratkaisun olemassaolo

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

3 Lukujonon raja-arvo

Kuva 1: Funktion f tasa-arvokäyriä. Ratkaisu. Suurin kasvunopeus on gradientin suuntaan. 6x 0,2

Metriset avaruudet ja Topologia

Metriset avaruudet ja Topologia

Antti Rasila. Kevät Matematiikan ja systeemianalyysin laitos Aalto-yliopisto. Antti Rasila (Aalto-yliopisto) MS-A0204 Kevät / 16

JAKSO 2 KANTA JA KOORDINAATIT

Ville Turunen: Mat Matematiikan peruskurssi P1 1. välikokeen alueen teoriatiivistelmä 2007

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

Määritelmä 2.5. Lause 2.6.

reaalifunktioiden ominaisuutta, joiden perusteleminen on muita perustuloksia hankalampaa. Kalvoja täydentää erillinen moniste,

Johdatus matemaattiseen päättelyyn

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 4: Ketjusäännöt ja lineaarinen approksimointi

LUKU 4. Pinnat. (u 1, u 2 ) ja E ϕ 2 (u 1, u 2 ) := ϕ u 2

4.3 Moniulotteinen Riemannin integraali

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Transkriptio:

USEAN MUUTTUJAN FUNKTIOT II Kari Ylinen 21

Sisältö 1 I Avaruuden R n rakenteesta ja kuvauksista 1 I.1 Avaruuden R n lineaarinen ja metrinen rakenne.......... 1 I.2 Jonon suppeneminen......................... 2 I.3 Topologisia peruskäsitteitä...................... 3 I.4 Kuvauksen jatkuvuus........................ 6 I.5 Kompaktit joukot........................... 9 I.6 Kompaktius ja jatkuvuus...................... 11 I.7 Lineaarikuvauksen matriisiesitys ja normi............. 14 II Differentiaalilaskentaa 16 II.1 Osittaisderivaatoista......................... 16 II.2 Differentioituvuus ja lineaarinen derivaatta............ 19 II.3 Jatkuvasti differentioituvat ja C p -luokan funktiot......... 24 II.4 Suunnattu derivaatta ja sen yhteys gradienttiin.......... 25 II.5 Yhdistetyn kuvauksen differentioituvuus ja derivaatta...... 27 II.6 Divergenssi ja roottori........................ 29 II.7 Väliarvolause ja sen soveltaminen virheen arviointiin....... 3 II.8 Funktion suurimman ja pienimmän arvon etsiminen....... 31 III Usean muuttujan funktion Riemannin integraali 34 III.1 Integraali yli R n :n kompaktin välin................. 34 III.2 Integraali yli väliä yleisemmän rajoitetun joukon......... 36 III.3 Iteroidut integraalit......................... 42 III.4 Napakoordinaattimuunnoksen käyttö integroinnissa........ 45 IV Käyräintegraalit 48 IV.1 Polku, käyrä ja suoristuvuus..................... 48 IV.2 Jatkuvasti derivoituvan polun pituus................ 5 IV.3 Vektorifunktion käyräintegraali................... 51 IV.4 Integraali kaarenpituuden suhteen................. 54 V Implisiittifunktiolauseen sovelluksia 57 V.1 Implisiittifunktiolauseen geometrisia sovelluksia.......... 57 V.2 Sidotut ääriarvot........................... 62 VI Taylorin lause ja sen sovelluksia 66 VI.1 Korkeammat derivaatat ja Taylorin lause............. 66 VI.2 Taylorin lauseen soveltaminen paikallisten ääriarvojen tutkimiseen 7 VI.3 Taylorin lause ja absoluuttiset ääriarvot.............. 74 VIILisää moniulotteisista integraaleista 75 VII.1Sijoitus moniulotteiseen integraaliin................ 75 VII.2Integraalilla määritellyn funktion derivointi, Leibnizin sääntö.. 77 VIIIVektorikentän potentiaali ja sen yhteys käyräinteraaleihin 8 VIII.1Potentiaali ja integraalin riippumattomuus tiestä......... 8 VIII.2Potentiaalin olemassaolo ja konstruointi.............. 83

IX Greenin, Stokesin ja Gaussin lauseet 86 IX.1 Greenin lause singulaariselle 2-kuutiolle tasossa.......... 86 IX.2 Greenin lause Jordanin alueelle................... 91 IX.3 Vektoritulo.............................. 92 IX.4 Säännöllinen pinnanpala, pinta-ala ja integraali pinta-alan suhteen.......................... 93 IX.5 Vektorikentän pintaintegraali.................... 96 IX.6 Vektorikentän integrointi yli singulaarisen 2- tai 3-kuution reunan 99 IX.7 Stokesin ja Gaussin lauseet singulaarisille 2- ja 3-kuutioille........................... 1 2

I Avaruuden R n rakenteesta ja kuvauksista 1 I.1 Avaruuden R n lineaarinen ja metrinen rakenne Palautamme mieleen lineaarialgebrasta tutun merkinnän R n, jolla tarkoitetaan n:n pituisten reaalilukujonojen muodostamaa vektoriavaruutta, n N. Joukkona siis R n = { x = (x 1,..., x n ) xj R kaikilla j = 1,..., n }, ja vektoriavaruuden laskutoimitukset yhteenlasku ja skalaarilla (eli tässä tapauksessa reaaliluvulla) kertominen on määritelty luonnolliseen tapaan koordinaateittain eli komponenteittain. Merkitsemme = (,..., ). Merkitsemme e 1 = (1,,..., ), e 2 = (, 1,,..., ),..., e n = (,...,, 1). Nämä R n :n perusvektorit muodostavat sen luonnollisen kannan. Jos on tarpeen korostaa, että kyse on nimenomaan n-ulotteisen avaruuden luonnollisen kannan alkioista, kirjoitamme e n j merkinnän e j sijasta. Sen lisäksi, että R n on vektoriavaruus, siinä on luonnollinen tapa määritellä kahden alkion välinen etäisyys. (Edellä sanoimme avaruuden R n alkioita vektoreiksi, mutta toisesta näkökulmasta niitä voidaan sanoa myös pisteiksi.) Määrittelemme seuraavassa etäisyyden sisätulon avulla. Kahden vektorin x = (x 1,..., x n ) ja y = (y 1,..., y n ) sisätulo (x, y) määritellään lukuna (x, y) = n j=1 x jy j. Sisätulosta käytetään myös nimityksiä skalaaritulo ja pistetulo. Jälkimmäisen nimityksen yhteydessä merkintänä yleensä on x y. Vektorin x = (x 1,..., x n ) normi eli pituus x määritellään sisätulon avulla kaavalla x = n (x, x) = x 2 j. Selvästi λx = λ x kaikilla λ R, x R n. Välittömästi nähdään myös, että aina x, ja x =, jos ja vain jos x =. Lause I.1.1. Olkoot x = (x 1,..., x n ), y = (y 1,..., y n ) R n. Silloin (a) (x, y) x y (Cauchyn-Schwarzin epäyhtälö); (b) x y x + y x + y (kolmioepäyhtälö); (c) max 1 j n x j x x 1 + + x n n x n max 1 j n x j. Todistus. (a): Jokaisella λ R on j=1 (x + λy, x + λy) = (x, x) + 2λ(x, y) + λ 2 (y, y). Jos (y, y), valitaan λ = (x,y) (y,y), jolloin eli x 2 (x, y)2 2 y 2 + y 2 (x, y) y 4 x 2 y 2 (x, y) 2. Jos taas (y, y) =, on y 1 = = y n =, joten väite pätee. Kohdat (b) ja (c) jätämme harjoitustehtäviksi. (Kohdan (c) toiseksi viimeisessä epäyhtälössä käytetään Cauchyn-Schwarzin epäyhtälöä vektoreihin (1,..., 1) ja ( x 1,..., x n )). 2

2 Tutkimalla, milloin edellä kohdan (a) todistuksessa voi esiintyä yhtälö, voidaan osoittaa (harjoitustehtävä), että Cauchyn-Schwarzin epäyhtälössä on voimassa yhtäsuuruus, jos ja vain jos x ja y ovat lineaarisesti riippuvat. Kahden alkion x, y R n välinen etäisyys, jolle käytämme toisinaan merkintää d(x, y), määritellään lukuna x y. Lause I.1.2. Olkoot x, y, z R n. Silloin (a) d(x, y) ; (b) d(x, y) =, jos ja vain jos x = y; (c) d(x, y) = d(y, x); (d) d(x, z) d(x, y) + d(y, z). Todistus. Kohta (d) seuraa heti lauseen I.1.1 kohdasta (b), ja muut lauseen väitteet ovat ilmeisiä. Huomautus I.1.3. Lause I.1.2 voidaan ilmaista sanomalla, että edellä määritelty kuvaus d : R n R n R on R n :n metriikka; R n on sen suhteen metrinen avaruus. Monet tarkastelut jatkossa riippuvat ainoastaan lauseessa I.1.2 luetelluista metriikan d ominaisuuksista ja pätisivät siis sellaisinaan yleisessä metrisessä avaruudessa. I.2 Jonon suppeneminen Lukujonon käsitteen yleistyksenä sanomme kuvausta k x k luonnollisen lukujen joukosta N = {1, 2,... } avaruuteen R n jonoksi (R n :ssä); sille käytetään myös nimityksiä vektorijono ja pistejono sekä merkintää (x k ). Lukujonon rajaarvon määritelmää käyttäen saadaan lyhyt tapa määritellä jonon suppeneminen avaruudessa R n : Määritelmä I.2.1. Olkoon (x k ) jono R n :ssä ja x R n. Jos lim d(x k, x ) =, k sanotaan, että jono (x k ) suppenee kohti alkiota x. Tällöin merkitään x = lim k x k tai x k x ja sanotaan, että x on jonon (x k ) raja-arvo. Toisin sanoen x k x, jos ja vain jos jokaista ε > vastaa sellainen k ε N, että x k x < ε aina, kun k k ε. Tarkkaan ottaen menimme tässä määritelmässä hiukan asioiden edelle käyttämällä funktionaalista merkintää lim k x k ja siihen liittyvää yhtäläisyysmerkkiä ennen raja-arvon yksikäsitteisyyden todistamista. Korjaamme heti tämän puutteen: Lause I.2.2. (a) Jono voi R n :ssä supeta korkeintaan yhtä pistettä kohti, ts. jonon raja-arvo on yksikäsitteinen, jos se on olemassa. (b) Määritelmän I.2.1 merkinnöin jos ja vain jos jokaisella j = 1,..., n. x = lim k x k, (x, e j ) = lim k (x k, e j )

3 Todistus. (a) Tehdään vastaoletus, että jono (x k ) suppenee kohti sekä pistettä x että pistettä y, missä x y. Merkitään ε = 1 2d(x, y). Silloin voidaan valita luvut k 1 N ja k 2 N siten, että d(x k, x) < ε, kun k k 1, ja d(x k, y) < ε, kun k k 2. Jos k on suurempi luvuista k 1 ja k 2, on siis 2ε = d(x, y) d(x, x k ) + d(x k, y) < ε + ε = 2ε. Tämä ristiriita osoittaa vastaoletuksen mahdottomaksi, joten raja-arvo on yksikäsitteinen. (b) Oletetaan, että (x, e j ) = lim k (x k, e j ) jokaisella j = 1,..., n. Olkoon ε >. Jokaista j = 1,..., n vastaa sellainen k j N, että (x k, e j ) (x, e j ) < ε n aina, kun k k j. Olkoon k suurin luvuista k 1,..., k n. Jos k k, on lauseen I.1.1 (c) nojalla x k x n j=1 (x k, e j ) (x, e j ) < n ε n = ε. Siis x = lim k x k. Käänteinen implikaatio seuraa heti epäyhtälöstä (x k, e j ) (x, e j ) x k x. Jos (x k ) on jono R n :ssä ja p k p on sellainen jono N:ssä, että k p+1 > k p kaikilla p N, niin yhdistettyä kuvausta p x kp eli jonoa (x kp ) sanotaan jonon (x k ) osajonoksi. Koska (helpon induktiotodistuksen nojalla) tässä aina k p p, jonon suppenemisen määritelmästä näkyy, että suppenevan jonon jokainen osajono suppenee kohti alkuperäisen jonon raja-arvoa. I.3 Topologisia peruskäsitteitä Topologia on matematiikan haara, jossa avoin joukko on keskeisenä käsitteenä. Tässä jaksossa määrittelemme avaruuden R n avoimen joukon ja muita topologisia käsitteitä. Avoin joukko liittyy läheisesti kuvauksen jatkuvuuteen, jota käsitellään seuraavassa jaksossa. Määritelmä I.3.1. (a) Olkoon x R n ja r >. Joukkoa B(x, r) = { y R n d(x, y) < r } sanotaan pisteen x (avoimeksi) r-säteiseksi palloympäristöksi. (b) Piste x on joukon A R n sisäpiste, jos jollakin r > on voimassa B(x, r) A. Joukon A sisäpisteiden joukkoa sanotaan A:n sisäosaksi, ja sille käytetään merkintää A. (c) Piste x on joukon A R n ulkopiste, jos se on A:n komplementin R n \ A sisäpiste. (d) Piste x R n on joukon A R n reunapiste, jos se ei ole A:n sisäeikä ulkopiste. Joukon A reunapisteiden joukkoa sanotaan A:n reunaksi, ja sille käytetään merkintää A. (e) Joukko A R n on avoin, jos sen jokainen piste on sisäpiste. (f) Joukko A R n on suljettu, jos sen komplementti R n \ A on avoin.

Esimerkki I.3.2. (a) Osoitamme, että B(x, r) on avoin joukko aina, kun x R n, r >. Olkoon y B(x, r), jolloin määritelmän mukaan 4 Jos z B(y, δ), on δ = r d(x, y) >. d(z, x) d(z, y) + d(y, x) < δ + (r δ) = r. Näin ollen B(y, δ) B(x, r), ja siis y on B(x, r):n sisäpiste. (b) Tyhjä joukko ja R n ovat sekä avoimia että suljettuja joukkoja. (c) Olkoon a < b. Avoimet reaalilukuvälit (a, b), (, a), (a, ) ovat R:n avoimia osajoukkoja. Välit [a, b], (, a], [a, ) ovat suljettuja joukkoja. Puoliavoin väli [a, b), a < b, ei ole avoin eikä suljettu joukko. Kunkin välin (a, b), [a, b), (a, b], [a, b] reuna on joukko {a, b}. Nämä väitteet seuraavat välittömästi määritelmästä. (d) Olkoon x R n ja r. Osoitamme, että joukko B(x, r) = { y R n d(x, y) r } on suljettu. Määritelmän mukaan tämä nähdään todistamalla sen komplementti R n \ B(x, r) avoimeksi. Olkoon sitä varten y R n \ B(x, r). Silloin δ = d(x, y) r >. Jos z B(y, δ), on kolmioepäyhtälön nojalla joten z / B(x; r). Siis d(z, x) d(x, y) d(z, y) > d(x, y) δ = r, B(y, δ) R n \ B(x, r). (e) Valitsemalla (d):ssä r = nähdään erityisesti, että jokainen yhden pisteen joukko {x} on suljettu. (f) Olkoon x R n ja r >. Sekä B(x, r):n että B(x, r):n reuna on { y R n d(x, y) = r }. Perustelu: Kohdista (a) ja (d) seuraa, että y on kummankin joukon sisäpiste, mikäli d(x, y) < r, ja y on kummankin joukon ulkopiste, mikäli d(x, y) > r. Toisaalta, jos d(x, y) = r, niin jokaisella δ > joukko B(y, δ) sisältää kummankin joukon ja sen komplementin pisteitä, sillä jonot (x + n n+1 n+1 (y x)) ja (x + n (y x)) suppenevat kohti pistettä y. (g) Olkoon A k = ( 1 k, 1 k ) jokaisella k N. Kukin A k on avoin joukko. Leikkaus A k = {} k=1 ei ole avoin, sillä sen ainoa piste ei selvästikään ole sisäpiste. Siis avoimien joukkojen leikkauksen ei tarvitse olla avoin. Sen sijaan on voimassa seuraava lause. Lause I.3.3. (a) Jos (A i ) i I on mielivaltainen perhe avoimia R n :n osajoukkoja, niin unioni i I A i on avoin. (b) Jos (A i ) p i=1 on äärellinen perhe avoimia Rn :n osajoukkoja, niin leikkaus p i=1 A i on avoin.

5 (c) Jos (B i ) i I on mielivaltainen perhe suljettuja R n :n osajoukkoja, niin leikkaus i I B i on suljettu. (d) Jos (B i ) p i=1 on äärellinen perhe suljettuja Rn :n osajoukkoja, niin unioni p i=1 B i on suljettu. Todistus. Todistamme avoimia joukkoja koskevat väitteet (a) ja (b). De Morganin kaavojen R n \ A i = R n \ A i i I i I ja R n \ i I A i = i I R n \ A i avulla suljettuja joukkoja koskevat väitteet (c) ja (d) voidaan palauttaa näihin (harjoitustehtävä). (a): Olkoon x i I A i. Silloin x A i jollakin i I. Koska A i on avoin, on olemassa sellainen luku r >, että B(x, r) A i, jolloin myös B(x, r) i I A i. (c): Olkoon x p i=1 A i. Silloin x A i jokaisella i = 1,..., p. Koska kukin A i on avoin, on olemassa sellaiset luvut r i >, i = 1,..., p, että B(x, r i ) A i jokaisella i = 1,..., p. Koska lukuja r 1,..., r p on vain äärellinen määrä, on olemassa r = min 1 i p r i >. Nyt B(x, r) p B(x, r i ) i=1 p A i. Esimerkki I.3.4. (a) Esimerkin I.3.2 (e) ja lauseen I.3.3 nojalla jokainen R n :n äärellinen osajoukko on suljettu. (b) Olkoon A R n. Lauseen I.3.3 (c) nojalla kaikkien A:n sisältävien suljettujen joukkojen leikkaus on suljettu. Selvästi se on suppein A:n sisältävä suljettu joukko. Sitä sanotaan joukon A sulkeumaksi, ja sille käytetään merkintää A. Selvästi joukko A on suljettu, jos ja vain jos A = A. Lause I.3.5. Joukolle A R n seuraavat ehdot ovat yhtäpitäviä: (i) A on suljettu; (ii) lim k x k A aina, kun (x k ) on suppeneva jono ja x k A kaikilla k N. Todistus. (i) = (ii): Olkoon A suljettu ja (x k ) A:n pisteiden jono, jolla on raja-arvona x. Tehdään vastaoletus: x R n \ A. Koska R n \ A on avoin, on olemassa ε >, jolle B(x, ε) R n \ A. Kun k on kyllin suuri, on d(x k, x) < ε eli x k B(x, ε) R n \ A. Tämä ristiriita osoittaa, että x A. (ii) = (i): Oletetaan (ii) ja osoitetaan, että R n \ A on avoin. Tehdään vastaoletus: On olemassa x R n \ A, joka ei ole joukon R n \ A sisäpiste. Erityisesti jokaista k N vastaa jokin x k B(x, 1 k ) A. Silloin lim k x k = x, joten oletuksen mukaan x A. Tämä ristiriita todistaa väitteen. Esimerkki I.3.6. Osoitetaan, että avaruuden R n yksikköpallon pinta A = { x R n x = 1 } i=1

on suljettu. Olkoon x k A kaikilla k N. Oletetaan, että jono (x k ) suppenee kohti jotakin x R n. Koska 6 x k x x k x, on x = lim k x k = 1, joten x A. Lauseesta I.3.5 seuraa siis, että A on suljettu. Lause I.3.7. Joukon A R n sulkeuma on sama kuin A:n pisteiden suppenevien jonojen raja-arvojen joukko. Todistus. Jos (x k ) on jono A:ssa, sen jäsenet ovat myös suljetussa joukossa A, joten lauseen I.3.5 nojalla sen raja-arvo on A:ssa, mikäli jono suppenee. Olkoon toisaalta y A. Jokaisella k N on olemassa jokin y k B(y, 1 k ), sillä muuten R n \ B(y, 1 k ) olisi A:n ja siis myös A:n sisältävä suljettu joukko vastoin oletusta y A. Tällöin lim k y k = y. I.4 Kuvauksen jatkuvuus Seuraava määritelmä yleistää tutun yhden reaalimuuttujan funktioiden jatkuvuuden käsitteen. Määritelmä I.4.1. Olkoon x A R n. Kuvaus f : A R m on jatkuva pisteessä x, jos jokaista ε > vastaa sellainen δ >, että f(a B(x, δ)) B(f(x ), ε) (eli f(x) f(x ) < ε aina, kun x A ja x x < δ). Kuvaus f : A R m on jatkuva A:ssa, jos se on jatkuva jokaisessa A:n pisteessä. Esimerkki I.4.2. Normifunktio x x on jatkuva R n :ssä. Sillä lauseen I.1.1 (b) nojalla x x x x, joten δ:ksi kelpaa ε. Lause I.4.3. Olkoot f : A B ja g : B R k kuvauksia, missä A R n ja B R m. Jos f on jatkuva pisteessä x A ja g on jatkuva pisteessä f(x ), niin yhdistetty kuvaus g f on jatkuva x :ssa. Todistus. Harjoitustehtävä. Lause I.4.4. Olkoon A R n ja f : A R m kuvaus. Merkitään f(x) = (f 1 (x),..., f m (x)), x A, eli f = (f 1,..., f m ). Kuvaus f on jatkuva pisteessä x A, jos ja vain jos jokainen funktio f i, i = 1,..., m, on jatkuva x :ssa. Todistus. Väite voidaan todistaa analogisesti lauseen I.2.2 (b) todistuksen kanssa. Se seuraa myös heti lauseesta I.2.2 (b) ja seuraavassa lauseessa todistettavasta periaatteesta, jonka mukaan jatkuvuuden tutkiminen voidaan palauttaa jonojen raja-arvotarkasteluihin.

7 Lause I.4.5. Olkoon x A R n ja f : A R m kuvaus. Seuraavat ehdot ovat yhtäpitäviä: (i) kuvaus f on jatkuva pisteessä x ; (ii) lim k f(x k ) = f(x ) aina, kun (x k ) on jono, jolle x k A kaikilla k N ja lim k x k = x. Todistus. (i) = (ii): Olkoon f jatkuva x :ssa ja (x k ) A:ssa jono, joka suppenee kohti x :aa. Olkoon ε >. Jollekin δ > f(a B(x, δ)) B(f(x ), ε). Jonon raja-arvon määritelmän mukaan on olemassa sellainen k N, että x k B(x, δ), kun k k. Silloin f(x k ) B(f(x ), ε), kun k k. (ii) = (i): Oletetaan (ii) ja tehdään väitteelle (i) vastaoetus: f ei ole jatkuva x :ssa. Määritelmän mukaan on silloin olemassa sellainen ε >, että millekään δ > ei ole voimassa f(a B(x, δ)) B(f(x ), ε). Erityisesti jokaista k N vastaa sellainen x k A B(x, 1 k ), että f(x k) / B(f(x ), ε). Nyt lim k x k = x, mutta jono (f(x k )) ei voi supeta kohti f(x ):aa. Tämä ristiriita oletuksen kanssa todistaa väitteen. Seuraava lause voitaisiin helposti todistaa suoraan määritelmän avulla, mutta käytämme sen sijaan lausetta I.4.5. Lause I.4.6. Olkoon A R n, ja olkoot kuvaukset f, g : A R jatkuvia pisteessä x. (a) Funktio λf + µg on jatkuva x :ssa kaikilla λ, µ R. (b) Funktio fg on jatkuva x :ssa. (c) Jos g(x ), niin funktio f g on jatkuva x :ssa. Todistus. Todistamme vain kohdan (c); muut kohdat voidaan käsitellä samaan tapaan. Funktio f g on määritelty joukossa B = { x A g(x) }. Olkoon (x k ) mielivaltainen jono, jolle x k B kaikilla k N ja lim k x k = x. Lauseen I.4.5 nojalla lim k f(x k ) = f(x ) ja lim k g(x k ) = g(x ), joten tunnetun reaalilukujonojen raja-arvoa koskevan lauseen nojalla f(x k ) lim k g(x k ) = f(x ) g(x ). Koska tämä pätee jokaiselle tällaiselle jonolle (x k ), lauseesta I.4.5 seuraa funktion f g jatkuvuus pisteessä x. Lauseiden I.4.6 ja I.4.4 seurauksena saataisiin vektoriarvoisia funktioita sekä vektori- ja skalaariarvoisia funktioita yhdessä koskevia jatkuvuustuloksia (jotka on helppo todistaa suoraankin). Nämä tulokset ovat niin ilmeisiä, että emme niitä muotoile erikseen, vaikka käytämmekin tarvittaessa. Esimerkki I.4.7. Olkoon f(x, y) = x2 y 2 + sin(x 3 y 2 ) x 2 + y 2,

8 kun (x, y) (, ). Silloin f on jatkuva R 2 \ {(, )}:ssa lauseiden I.4.5 ja I.4.6 nojalla. Sillä funktiot (x, y) x ja (x, y) y ovat jatkuvia, koska esim. x 1 x 2 (x 1, y 1 ) (x 2, y 2 ), ja siis edelleen (x, y) sin(x 3 y 2 ) on jatkuva jne. Sen sijaan f:ää ei voida määritellä origossa siten, että f tulisi siinä jatkuvaksi, sillä lim f( 1, ) = 1 1 = lim k k f(, 1 k k ). Seuraava lause (erityisesti sen erikoistapaus I.4.9) tulee usein käyttöön todistettaessa jotakin joukkoa avoimeksi tai suljetuksi. Lause I.4.8. Olkoon A R n. Kuvaukselle f : A R m seuraavat ehdot ovat yhtäpitäviä: (i) f on jatkuva; (ii) jokaiselle avoimelle joukolle G R m alkukuva f 1 (G) (= { x A f(x) G } ) on muotoa A U, missä U R n on avoin; (iii) jokaiselle suljetulle joukolle F R m alkukuva f 1 (F ) on muotoa A S, missä S R n on suljettu. Todistus. (i) = (ii): Olkoon f jatkuva ja G R m avoin. Olkoon x f 1 (G). Koska f(x) G ja G on avoin, on olemassa ε x >, jolle B(f(x), ε x ) G. Jatkuvuuden nojalla on olemassa sellainen δ x >, että f(a B(x, δ x )) B(f(x), ε x ). Suoritetaan samat valinnat jokaiselle x f 1 (G). Merkitään U = B(x, δ x ). x f 1 (G) Esimerkin I.3.2 (a) ja lauseen I.3.3 (a) nojalla U on avoin, ja selvästi f 1 (G) = A U. (ii) (iii): Koska joukko on avoin, jos ja vain jos sen komplementti on suljettu, ja toisaalta alkukuvan muodostus säilyttää joukko-opilliset operaatiot, nähdään heti, että (ii) ja (iii) ovat yhtäpitävät. (ii) = (i): Oletetaan (ii). Olkoon x A. Osoitetaan, että f on jatkuva x:ssä. Olkoon ε >. Koska B(f(x), ε) on avoin, oletuksen mukaan sen alkukuva kuvauksessa f on muotoa A U, missä U R n on avoin. Erityisesti jollakin δ > B(x, δ) U. Mutta tämä merkitsee sitä, että f(a B(x, δ)) B(f(x), ε). Seuraus I.4.9. Kuvaukselle f : R n R m seuraavat ehdot ovat yhtäpitäviä: (i) f on jatkuva; (ii) jokaisen avoimen joukon alkukuva kuvauksessa f on avoin; (iii) jokaisen suljetun joukon alkukuva kuvauksessa f on suljettu. Esimerkki I.4.1. (a) Joukko A = { x x = 1 } on suljettu, sillä A = f 1 ({1}), missä f on jatkuva funktio x x. (Todistimme tämän toisella tavalla esimerkissä I.3.6.) (b) Joukko { (x, y) R 2 xy < } on avoin, koska funktio (x, y) xy on jatkuva ja (, ) R:n avoin osajoukko. Sama näkyy luonnollisesti heti avoimen joukon määritelmästä.

9 Esimerkki I.4.11. Osoitetaan, että joukko A = { (x, y) R 2 1 + xy 2 x 4 + y 4 4 } on suljettu. Koska funktio (x, y) 1 + xy 2 on jatkuva, joukko A 1 = { (x, y) 1 + xy 2 } on suljetun joukon [, ) alkukuvana tässä kuvauksessa suljettu. Vastaavasti joukot A 2 = { (x, y) x 4 + y 4 1 xy 2 } ja A 3 = { (x, y) 4 x 4 y 4 } ovat suljettuja. Siis näiden kolmen suljetun joukon leikkauksena A on suljettu. Mainitsemme vielä yhden tärkeän jatkuvuuteen liittyvän käsitteen. Määritelmä I.4.12. Olkoon f : A B bijektio (eli injektio ja surjektio), missä A R n ja B R m. Jos f ja sen käänteiskuvaus f 1 : B A ovat jatkuvia, sanotaan, että f on homeomorfismi. Joukkoja A ja B sanotaan keskenään homeomorfisiksi, jos on olemassa homeomorfismi f : A B. I.5 Kompaktit joukot Yhden reaalimuuttujan funktioiden teoriasta on tuttu tärkeä lause, jonka mukaan välillä [a, b], missä a, b R, a < b, jatkuva reaalifunktio saa suurimman ja pienimmän arvon joissakin välin pisteissä. Selvästikään tässä ei ole oleellista, että määrittelyjoukko on nimenomaan väli (kun jatkuvuus määritellään edellä esitetyllä tavalla väliä yleisempien joukkojen tapauksessa). Mutta jos joukko R on rajoittamaton, ts. sen alkioiden itseisrvojen joukko ei ole ylhäältä rajoitettu, esimerkiksi siinä määritelty identtinen kuvaus x x on rajoittamaton. Samoin, jos R ei ole suljettu, siinä voidaan määritellä jatkuva rajoittamaton funktio. Sillä tällöin komplementissa R \ on piste a, joka ei ole sen sisäpiste. Määritellään f : R kaavalla f(x) = x a 1. Funktio f on jatkuva, mutta ei rajoitettu, sillä koska a ei ole joukon R \ sisäpiste, jokaista k N vastaa sellainen x k, että x k a < 1 k, ja siis f(x k) > k. Sanomme, että joukko A R n on rajoitettu, jos on sellainen luku r >, että A B(, r). Edellä esitetty päättely toimii ilmeisin muutoksin myös korkeammissa dimensioissa: jotta jokainen epätyhjässä joukossa K R n määritelty jatkuva reaalifunktio saisi suurimman ja pienimmän arvon (tai olisi edes rajoitettu), on välttämätöntä, että K on suljettu ja rajoitettu. Osoittautuu, että nämä ehdot myös riittävät. Avaruuden R n suljetut ja rajoitetut osajoukot voidaan karakterisoida tavalla, jolla yleisemmissäkin yhteyksissä määritellään ns. kompaktit joukot. Näin tehdään lauseessa I.5.4. Otamme käyttöön seuraavat sanonnat. Määritelmä I.5.1. Olkoon A R n joukko ja (P i ) i I perhe R n :n osajoukkoja. Jos A i I P i, perhe (P i ) i I on joukon A peite. Jos tässä H I ja myös A i H P i, sanotaan, että (P i ) i H on peitteen (P i ) i I osapeite (joukolle A). Peite (P i ) i I on äärellinen, jos indeksijoukko I on äärellinen. Joukon A peitettä (P i ) i I sanotaan A:n avoimeksi peitteeksi, jos jokainen P i on avoin.

Määritelmä I.5.2. Joukko K R n on kompakti, jos sen jokaisella avoimella peitteellä on äärellinen osapeite. 1 Esimerkki I.5.3. (a) Olkoon (x k ) R n :ssä kohti pistettä x suppeneva jono. Näytetään, että joukko A = { } x k k N {x} on kompakti. Olkoon (Ui ) i I A:n avoin peite. Erityisesti x U i jollakin i I. Koska U i on avoin, on olemassa sellainen k N, että x n U i aina, kun k k. Valitaan kutakin k {1,..., k 1} kohti i k I siten, että x k U ik. Silloin A k 1 k= joten alkuperäisestä peitteestä saatiin äärellinen osapeite. (b) Joukko B = { } 1 k k N ei ole kompakti. Sillä jos Uk = ( 1 2k, 1 k ) jokaisella k N, (U k ) k N on A:n avoin peite (aina 1 k U k), jolla ei ole äärellistä osapeitettä. Sillä jos {k 1,..., k q } N ja m = max 1 p q k p, niin 1 2m / q p=1 U n p. Tässä kumpikin joukoista A, B on rajoitettu. Joukko B ei ole suljettu, sillä on siihen kuulumaton piste, jota kohti suppenee jono B pisteitä. Joukko A on vähällä vaivalla nähtävissä suljetuksi suoraan määritelmän nojalla. Se, että A on suljettu, mutta B ei ole, näkyy edellisen esimerkin nojalla myös seuraavasta keskeisestä lauseesta. U ik, Lause I.5.4. Joukolle K R n seuraavat ehdot ovat yhtäpitäviä: (i) K on kompakti; (ii) K on suljettu ja rajoitettu. Todistus. (i) = (ii): Oletetaan (i): Koska joukon K avoimella peitteellä (B(, p)) p N on äärellinen osapeite, on olemassa sellainen p N, että K B(, p), joten K on rajoitettu. Jos taas K ei ole suljettu eli R n \ K ei ole avoin, on olemassa komplementin R n \K piste a, joka ei ole sen sisäpiste. Koska p N B(a, 1 p ) = {a}, De Morganin lauseen mukaan perhe (Rn \ B(a, 1 p )) p N on K:n avoin peite, joten sillä on äärellinen osapeite, mistä seuraa, että jollakin p N, B(a, 1 p ) Rn \ K, joten a onkin joukon R n \ K sisäpiste. Tämä ristiriita osoittaa, että K on suljettu. (ii) = (i): Oletetaan (ii). Olkoon (P i ) i I K:n avoin peite. Tehdään vastaoletus, että tällä ei ole K:n äärellistä osapeitettä. Koska K on rajoitettu, on olemassa sellaiset luvut a j b j, että K [a 1, b 1 ] [a n, b n ]. Merkitään I (1,) j = [a j, 1 2 (a j + b j )] ja I (1,1) j = [ 1 2 (a j + b j ), b j ]. Vastaoletuksesta seuraa, että joillakin α j {, 1} joukolla K (I (1,α1) 1 I n (1,αn) ) ei ole alkuperäisestä peitteestä saatavaa äärellistä osapeitettä. Toistetaan tämä päättely puolittamalla nyt välit I (1,αj) j, jolloin saadaan välit I (2,) j ja I (2,1) j, j = 1,..., n. Taas joillakin α j {, 1} joukolla K (I (2,α1) 1 I n (2,αn) ) ei ole alkuperäisestä peitteestä saatavaa äärellistä osapeitettä. Näin jatkaen saadaan induktiolla sellaiset nousevat lukujonot (a (k) j ) k N ja laskevat lukujonot (b (k) j ) k N, että joillakin x k = (x (k) 1,..., x(k) n ) K on voimassa a (k) j x (k) j b (k) j ja lim k (b (k) j a (k) j ) =, eikä millään k N joukolla K ([a (k) 1, b(k) 1 ] [a(k) n, b (k) n ]) ole alkuperäisestä peitteestä saatavaa äärellistä osapeitettä. Reaalilukujen täydellisyysaksiooman tunnetun seurauksen mukaan jonot (a (k) j ) ja (b (k) j ) suppenevat, ja edellä todetun

11 nojalla nähdään, että lim k a (k) j = lim k b (k) j = lim k x (k) j, j = 1,..., n. Olkoon x j tämä yhteinen raja-arvo, ja merkitään x = (x 1,..., x n ). Koska K on suljettu, lauseen I.3.5 mukaan x K. Voidaan valita sellainen i I, että x P i. Koska P i on avoin, riittävän suurella k:n arvolla se sisältää joukon [a (k) 1, b(k) 1 ] [a(k) n, b (k) n ], mikä on ristiriidassa konstruktion kanssa. Siis vastaoletus on mahdoton. Huomautus I.5.5. Edellistä lausetta sanotaan Heinen-Borelin lauseeksi. Esimerkki I.5.6. (a) Avaruuden R n yksikköpallon pinta A = { x R n x = 1 } on kompakti. Sillä selvästi A on rajoitettu, ja se nähtiin suljetuksi esimerkeissä I.3.6 ja I.4.1. (b) Esimerkissä I.4.11 nähtiin, että joukko A = { (x, y) R 2 1 + xy 2 x 4 + y 4 4 } on suljettu. Joukko A on rajoitettu, sillä jos (x, y) A, on x 4 4 ja y 4 4, joten x 2 + y 2 2 + 2 = 4. Koska A siis on suljettu ja rajoitettu, se on kompakti. Myös seuraava kompaktiuden karakterisointi on toisinaan hyödyllinen. Lause I.5.7. Joukolle A R n seuraavat ehdot ovat yhtäpitäviä: (i) A on kompakti; (ii) jokaisella jonolla joukossa A on kohti A:n pistettä suppeneva osajono. Todistus. (i) = (ii): Oletetaan (i). Olkoon x k A kaikilla k N. Tehdään vastaoletus: Mikään piste x A ei ole jonon (x k ) minkään osajonon raja-arvo. Silloin jokaista x A vastaa sellainen luku δ x >, että palloympäristössä B(x, δ x ) on vain äärellinen määrä joukon { } x k k N pisteitä. (Perustelu: Jos jonkin pisteen x A jokaisessa palloympäristössä B(x, δ) olisi ääretön määrä joukon { x k k N } pisteitä, voitaisiin valita k 1 N siten, että d(x, x k1 ) < 1, ja yleisesti induktiolla k p+1 > k p siten, että d(x, x kp+1 ) < 1 p+1, jolloin saataisiin kohti pistettä x suppeneva osajono (x kp ) vastoin vastaoletusta.) Koska A on kompakti, on olemassa sellainen äärellinen joukko {y 1,..., y p } A, että A p i=1 B(y i, δ yi ). Tästä seuraa, että jonon (x k ) arvojen joukko on äärellinen, joten jokin arvo saadaan äärettömän monella indeksillä. Siis jonolle (x k ) saatiinkin suppeneva (vakio)osajono. (ii) = (i): Oletetaan (ii). Joukko A on rajoitettu, sillä muuten saataisiin A:n pistejono (x k ), jolle x k k kaikilla k N, ja tällaisella jonolla ei voi olla suppenevaa osajonoa. Olkoon nyt (y k ) suppeneva jono joukon A pisteitä ja y = lim k y k. Oletuksen mukaan jokin jonon (y k ) osajono (y kp ) suppenee kohti A:n pistettä. Mutta osajonon raja-arvo on sama kuin alkuperäisen jonon raja-avo, joten y A. Lauseen I.3.5 nojalla A on suljettu. Koska A on suljettu ja rajoitettu, se on Heinen-Borelin lauseen I.5.4 mukaan kompakti. I.6 Kompaktius ja jatkuvuus Osoitamme ensin, että kompaktius säilyy jatkuvassa kuvauksessa.

12 Lause I.6.1. Olkoon A R n kompakti joukko. Jos f : A R m on jatkuva kuvaus, niin A:n kuva f(a) on kompakti. Todistus. Olkoon (U i ) i I f(a):n avoin peite. Jokainen f 1 (U i ) on f:n jatkuvuuden nojalla avoin ja A i I f 1 (U i ), joten (f 1 (U i )) i I on A:n avoin peite. Koska A on kompakti, on olemassa äärellinen H I, jolle A f 1 (U i ). i H Tällöin f(a) i H U i. Siis f(a) on kompakti. Välittömänä seurauksena saadaan: Lause I.6.2. Olkoon A R n kompakti joukko, B R m joukko ja f : A B jatkuva bijektio. Silloin f on homeomorfismi. Todistus. Osoitetaan lauseen I.4.8 avulla, että f:n käänteiskuvaus f 1 : B A on jatkuva. Olkoon sitä varten F R n suljettu. Sen alkukuva kuvauksessa f 1 on sama kuin kompaktin joukon F A kuva kuvauksessa f. Lauseen I.6.1 nojalla f(f A) on kompakti ja siis suljettu. Seuraava tulos on keskeisessä asemassa monissa sovelluksissa. Lause I.6.3. Joukolle A R n, A, seuraavat ehdot ovat yhtäpitäviä: (i) A on kompakti; (ii) jokainen jatkuva funktio f : A R saa pienimmän ja suurimman arvon, ts. on olemassa a, b A joille f(a) f(x) f(b) kaikilla x A; (iii) jokainen jatkuva funktio f : A R on rajoitettu, ts. f(a) on R:n rajoitettu osajoukko. Todistus. (i) = (ii): Oletetaan (i). Olkoon f : A R jatkuva funktio. Lauseen I.6.1 nojalla f(a) on kompakti ja siis lauseen I.5.4 nojalla suljettu ja rajoitettu. Olkoon M = sup f(a). Silloin M f(a), sillä muuten vastoin supremumin ε-kriteeriä jollakin ε > olisi (M ε, M + ε) R \ f(a) (koska R \ f(a) on avoin). Vastaavasti inf f(a) f(a). Selvästi (ii) = (iii). (iii) = (i): Oletetaan (iii). Osoitetaan, että A on suljettu ja rajoitettu, jolloin (i) seuraa lauseesta I.5.4. Jos A ei ole suljettu, on lauseen I.3.5 mukaan olemassa sellainen suppeneva jono (x k ) A:n pisteitä, että x = lim k A. Määritellään (selvästi jatkuva) funktio f : A R kaavalla f(x) = x x 1. Nyt lim f(x k ) =, joten f vastoin ehtoa (iii) on rajoittamaton. Jos taas A ei ole rajoitettu, kaavalla g(x) = x määritelty jatkuva funktio on vastoin ehtoa (iii) rajoittamaton. Huomautus I.6.4. Yleensä joukolle A R n jatkuva funktio f : A R voi luonnollisesti olla rajoitettu ilman, että se saa suurinta tai pienintä arvoa: olkoon vaikkapa A = (, 1) ja f(x) = x. Edellisessä lauseessa nähtiin, että jos jokainen jatkuva funktio f : A R on rajoitettu, niin jokainen jatkuva funktio f : A R saa suurimman ja pienimmän arvon. Tämä seikka nähdään helposti suoraankin seuraavasti: Jos jatkuva funktio f : A R (joka siis oletuksen mukaan on rajoitettu) ei saa esim. suurinta arvoa, niin kaavalla g(x) = [M f(x)] 1, missä M = sup { f(x) x A }, määritelty funktio on jatkuva olematta kuitenkaan rajoitettu, koska supremumin ε-kriteerin nojalla funktio x M f(x) saa mitä tahansa ε > pienempiä positiivisia arvoja.

Esimerkki I.6.5. Määritellään funktio f : R 2 R kaavalla 13 f(x, y) = sin(x + exy2 ) 1 + x 2 + y 4. Nyt f(, ) = sin 1 >, ja koska osoittajan itseisarvo on aina korkeintaan 1, on f(x, y) < sin 1, kun x 2 + y 4 > (sin 1) 1. Joukko A = { (x, y) x 2 + y 4 (sin 1) 1 } on kompakti, koska se on selvästi rajoitettu, ja se on suljettu suljetun joukon alkukuvana jatkuvassa kuvauksessa. Jatkuvana funktiona f saa A:ssa lauseen I.6.3 nojalla suurimman arvon. Tämä suurin arvo on vähintään f(, ) = sin 1, joten se on samalla f:n suurin arvo koko R 2 :ssa. Käsittelemme vielä eräitä myöhempiä teoreettisia tarkasteluja varten lyhyesti funktion tasaista jatkuvuutta. Määritelmä I.6.6. Olkoon A R n. Funktio f : A R m on tasaisesti jatkuva, jos jokaista ε > vastaa sellainen δ >, että f(x) f(y) < ε aina, kun x, y A ovat sellaisia, että x y < ε. Selvästi tasaisesta jatkuvuudesta seuraa jatkuvuus. Seuraavassa esimerkissä nähdään, että käänteinen implikaatio ei yleisesti päde. Esimerkki I.6.7. Määritellään jatkuva funktio f : (, 1] R kaavalla f(x) = sin 1 x. Osoitetaan, että esim. lukua ε = 1 kohti ei ole olemassa tasaisen jatkuvuuden määritelmässä vaadittua lukua δ >. Olkoon δ > ; osoitamme siis, että se ei kelpaa. Valitaan k N siten, että (2kπ+ π 2 ) 1 < δ, jolloin (2kπ+ π 2 ) 1 (2kπ+ 3 π 2 ) 1 < (2kπ+ π 2 ) 1 < δ, mutta f(2kπ+ π 2 ) 1 (2kπ+3 π 2 ) 1 = 1 ( 1) > ε. Kuitenkin jokainen kompaktissa joukossa jatkuva funktio on tasaisesti jatkuva. Tämä nähdään seuraavan hieman yleisemmän tuloksen avulla lauseessa I.6.9. Lause I.6.8. Olkoon A R n ja f : A R m jatkuva kuvaus. Olkoon K A kompakti joukko, jonka jokaisessa pisteessä f on jatkuva. Silloin jokaista ε > vastaa sellainen δ >, että f(x) f(y) < ε aina, kun x K ja y A ovat sellaisia, että x y < δ. Todistus. Olkoon ε >. Jatkuvuuden nojalla jokaista x K vastaa sellainen δ x >, että f(x) f(y) < ε 2 kun y A ja x y < δ x. Koska K on kompakti, on olemassa äärellinen joukko {x 1,..., x p } K, jolle K p i=1 B(x i, 1 2 δ x i ). Merkitään δ = 1 2 min{δ x 1,..., δ xp }. Olkoot x K ja y A mitä tahansa pisteitä, joille x y < δ. On olemassa sellainen i {1,..., p}, että x B(x i ; 1 2 δ x i ), ja koska myös x i y x i x + x y < 1 2 δ x i + δ 1 2 δ x i + 1 2 δ x i = δ xi, on f(x) f(y) f(x) f(x i ) + f(x i ) f(y) < ε 2 + ε 2 = ε. Lause I.6.9. Olkoon A R n kompakti joukko ja f : A R m jatkuva kuvaus. Silloin f on tasaisesti jatkuva. Todistus. Väite seuraa heti edellisestä lauseesta.

14 I.7 Lineaarikuvauksen matriisiesitys ja normi Kuvausta T : R n R m sanotaan tunnetusti lineaariseksi, jos T (λx + µy) = λt x + µt y aina, kun x, y R n, λ, µ R. Kaikkien lineaarikuvausten T : R n R m joukolle käytämme merkintää L(R n, R m ) ja merkitsemme L(R n, R n ) = L(R n ). Olkoon T L(R n, R m ). Kirjoitamme R n :n j:nnen perusvektorin e n j kuvan muodossa m T e n j = a ij e m i = (a 1j,..., a mj ). i=1 Muodostamme tässä esiintyvistä (selvästi yksikäsitteisesti määrätyistä) luvuista a ij matriisin a 11 a 12... a 1n a 21 a 22... a 2n A =....... a m1 a m2... a mn Näin määriteltyä matriisia A sanotaan lineaarikuvauksen T matriisiksi. Matriisin A pystyriveinä (eli pystyvektoreina) ovat määritelmän mukaan R n :n luonnollisen kannan alkioiden kuvat kuvauksessa T. (Muistammehan, että matriisimerkinnässä edellinen indeksi viittaa vaakariviin ja jälkimmäinen pystyriviin; erityisesti m n matriisissa on aina m vaaka- ja n pystyriviä.) Selvästi R n :n vektorit voidaan samastaa joko matriisien kanssa, joissa on vain yksi vaakarivi tai sellaisten kanssa, joissa on vain yksi pystyrivi. Periaatteessa kumpikin samastus on mahdollinen, mutta käytännön syistä valitsemme jälkimmäisen tavan, jolloin vektori x = (x 1,..., x n ) siis tulkitaan matriisiksi x 1 x 2.. x n (Huomattakoon, että vektori (x 1,..., x n ) on eri asia kuin matriisi (x 1... x n ), jonka merkinnässä ei käytetä pilkkuja. Pikkutarkasti ottaen edellinen on kuvaus joukosta {1,..., n} R:ään, kun taas jälkimmäinen on kuvaus joukosta {1} {1,..., n} R:ään.) Sopimuksestamme on mm. se etu, että lineaarikuvauksen soveltaminen vektoriin voidaan muodollisesti kirjoittaa kuvauksen matriisin ja matriisiksi tulkitun vektorin tulona. Siis y 1 a 11 a 12... a 1n y 2. = a 21 a 22... a 2n......... y m a m1 a m2... a mn jos y = (y 1,..., y m ) on vektorin x = (x 1,..., x n ) kuva lineaarikuvauksessa T, jonka matriisi on a 11 a 12... a 1n a 21 a 22... a 2n....... a m1 a m2... a mn x 1 x 2. x n,

Jos nimittäin x:nä on perusvektori e n j, tämä seikka näkyy heti T :n matriisin määritelmästä, ja yleinen tapaus seuraa T :n lineaarisuudesta ja siitä, että matriisilla kertominen on myös lineaarinen kuvaus. Tunnettua on, että lineaarikuvausten T L(R n, R m ) ja S L(R m, R k ) yhdistetyn kuvauksen ST matriisi on kuvausten S ja T matriisien tulo (samassa järjestyksessä); itse asiassahan tämä seikka motivoi matriisitulon määritelmän. Aikaisemin on todettu, että R n :ssä määritellyllä normifunktiolla x x on seuraavat ominaisuudet: (i) x kaikilla x R n ; (ii) x =, jos ja vain jos x = ; (iii) λx = λ x aina, kun λ R, x R n ; (iv) x + y x + y kaikilla x, y R n. Missä tahansa vektoriavaruudessa määriteltyä nämä ehdot täyttävää funktiota sanotaan myös normiksi. Joukolla L(R n, R m ) nähdään helposti olevan vektoriavaruuden rakenne, kun reaaliluvulla kertominen ja lineaarikuvausten yhteenlasku määritellään luonnollisella tavalla: 15 (λt )x = λ(t x), (S + T )(x) = Sx + T x kaikilla S, T L(R n, R m ), λ R, x R n. Määrittelemme tässä jaksossa luonnollisen normin vektoriavaruuteen L(R n, R m ). Aloitamme apulauseella. Lemma I.7.1. Jos T L(R n, R m ), ja (a ij ) on T :n matriisi, niin m n T x aina, kun x R n, x 1. i=1 j=1 Todistus. Olkoon x = (x 1,..., x n ) R n, x 1. Cauchyn-Schwarzin epäyhtälön nojalla 2 m n m n n T x 2 = a ij x j, i=1 j=1 i=1 a 2 ij j=1 a 2 ij j=1 x 2 j joten m n T x a 2 ij. i=1 j=1 Lemma I.7.1 osoittaa, että jokaista T L(R n, R m ) vastaa luku T = sup T x ; x 1 sanomme tätä lukua T :n normiksi. Määritelmästä seuraa välittömästi epäyhtälö T x T x ( kaikille x R n, onhan T x x) 1 T, kun x, ja nollavektorille epäyhtälö on ilmeinen.

16 Lause I.7.2. Olkoon (a ij ) lineaarikuvauksen T L(R n, R m ) matriisi. Silloin max a m n ij T a 2 ij. 1 i m,1 j n i=1 j=1 Todistus. Jälkimmäinen epäyhtälö seuraa heti lemmasta I.7.1 Edellisen todistamiseksi valitaan mielivaltainen R n :n luonnollisen kannan alkio e j ja todetaan, että kaikilla i = 1,..., m a ij m a 2 ij = T e j T. i=1 Jätämme harjoitustehtäväksi sen todistamisen, että kuvaus T T todella on normi L(R n, R m ):ssä, ts. täyttää jakson alussa luetellut ehdot (i) (iv). II Differentiaalilaskentaa II.1 Osittaisderivaatoista Yhden reaalimuuttujan reaaliarvoisen funktion derivaatalla on erilaisia yleistyksiä. Tarkastelemme aluksi usean muuttujan funktion osittaisderivaattaa. Määritelmä II.1.1. Olkoon A R n ja x = (x 1,..., x n ) A:n sisäpiste. Jos kuvaukselle f : A R on olemassa raja-arvo 1 lim h h [f(x 1,..., x j 1, x j + h, x j+1,..., x n ) f(x)], sitä sanotaan f:n osittaisderivaataksi j:nnen muuttujan x j suhteen pisteessä x. Sille käytetään merkintöjä f x j (x), f xj (x), D xj f(x), D j f(x), j f(x). Huomautus II.1.2. Olkoot A ja x kuten edellisessä määritelmässä. Jos f : A R m on kuvaus, jonka jokaisella komponentilla f i i = 1,..., m, osittaisderivaatta f i x j (x) on olemassa, merkitsemme ( f f1 (x) = (x),..., f ) m (x) x j x j x j ja sanomme tätä vektoria f:n osittaisderivaataksi j:nnen muuttujan x j suhteen pisteessä x. Muitakin edellisen määritelmän mukaisia merkintöjä voidaan käyttää myös vektorifunktion tapauksessa. Rajoitamme jatkossa osittaisderivaattojen tarkastelun yleensä tapaukseen m = 1. Määritelmä II.1.3. Jos funktiolla f : A R on jollakin δ > jokaisessa joukon B(a, δ) A pisteessä x osittaisderivaatta f (x), tulee B(a, δ):ssa x j f määritellyksi funktio D j f : B(a, δ) R (eli f xj, D xj f, ). Jos tällöin funktiolla D j f on jonkin muuttujan x i suhteen osittaisderivaatta pisteessä a, x j sitä

17 sanotaan f:n toiseksi eli toisen kertaluvun osittaisderivaataksi ja merkitään ( ) f (a) = 2 f (a) = f xjx x i x j x i x i (a) j = D xjx i f(a) = D ji f(a) = ji f(a). Vastaavasti määritellään induktiolla f:n k:nnen kertaluvun osittaisderivaatat k f x jk... x j2 x j1 (a) pisteessä a. (Näitä lausekkeita on kaikkiaan n k kappaletta.) Käytännössä osittaisderivaattojen määrääminen palautuu yhden reaalimuuttujan funktioiden derivoimiseen, kun pidetään muita kuin yhtä muuttujaa vakioina. Seuraava esimerkki osoittaa, että ei välttämättä ole voimassa esim. yhtälö 2 f y x (, ) = 2 f (, ), x y vaikka nämä molemmat toisen kertaluvun osittaisderivaatat olisivatkin olemassa. Esimerkki II.1.4. Olkoon f(x, y) = xy(x2 y 2 ) x 2 + y 2, jos (x, y) (, ), ja f(, ) =. Tällöin kun (x, y) (, ), ja Vastaavasti kun (x, y) (, ), ja Näin ollen ja Siis f x (x, y) = y(x2 y 2 ) x 2 + y 2 + xy 2x(x2 + y 2 ) 2x(x 2 y 2 ) (x 2 + y 2 ) 2 = y(x4 y 4 + 4x 2 y 2 ) (x 2 + y 2 ) 2, f f( + h, ) f(, ) (, ) = lim =. x h h f y (x, y) = x(x4 y 4 4x 2 y 2 ) (x 2 + y 2 ) 2, f (, ) =. y 2 f f x (, h) f x (, ) (, ) = lim = 1 y x h h 2 f f y (h, ) f y (, ) (, ) = lim = 1. x y h h 2 f y x (, ) 2 f (, ). x y

18 Riittävän säännöllisillä funktioilla ei derivoimisjärjestys vaikuta toisen kertaluvun osittaisderivaattojen arvoihin: Lause II.1.5. Olkoon A R n. Jos funktiolle f : A R toisen kertaluvun osittaisderivaatat ja ovat olemassa jossakin pisteen x A avoimes- 2 f 2 f x i x j x j x i sa palloympäristössä ja ovat jatkuvia x:ssä, niin 2 f (x) = 2 f (x). x i x j x j x i Todistus. Kun pidetään muita muuttujia kuin x i :tä ja x j :tä vakioina ja rajoitetaan tarkastelu näiden kahden muuttujan määräämään koordinaattitasoon, voidaan todistus palauttaa kahden muuttujan tapaukseen. Oletamme siis suoraan, että n = 2, ja käytämme merkintöjä x ja y x j :n ja x i :n sijasta sekä merkintää (x, y) x:n sijasta. Olkoot h ja k (aluksi kiinteitä) reaalilukuja. Määritellään g(t) = f(t, y + k) f(t, y), kun t on x:n ja (x + h):n määräämällä suljetulla välillä. Oletetaan, että h ja k ovat itseisarvoltaan niin pieniä, että tämä ja kaikki seuraavat kaavat ovat järkeviä. Sovelletaan differentiaalilaskennan väliarvolausetta, jonka mukaan x:n ja (x + h):n välissä on sellainen luku ξ, että Silloin g(x + h) g(x) = g (ξ)h. f(x + h, y + k) f(x + h, y) f(x, y + k) + f(x, y) = g(x + h) g(x) [ ] f = g f (ξ)h = (ξ, y + k) (ξ, y) h = 2 f (ξ, η)kh, x x y x missä η taas on väliarvolauseesta saatava y:n ja (y + k):n välissä oleva luku. Mutta tässä tarkastelussa x ja y ovat symmetrisessä asemassa, joten vaihtamalla niiden roolit keskenään voidaan vastaavasti valita lukujen x ja x + h välistä luku φ ja lukujen y ja y + k välistä luku ψ siten, että joten f(x + h, y + k) f(x + h, y) f(x, y + k) + f(x, y) = 2 f (φ, ψ)kh, x y ja koska hk, on 2 f y x (ξ, η)kh = 2 f (φ, ψ)kh, x y 2 f y x (ξ, η) = 2 f (φ, ψ). x y Valitaan nyt edellä kullekin p N 1 luvuiksi h ja k ja käytetään vastaaville p luvuille ξ, η, φ, ψ merkintöjä ξ p, η p, φ p, ψ p. Silloin lim (ξ p, η p ) = lim (φ p, ψ p ) = (x, y), p p joten toisen kertaluvun osittaisderivaattojen jatkuvuusoletuksen ja lauseen I.4.5 nojalla 2 f (x, y) = lim y x p 2 f y x (ξ p, η p ) = lim p 2 f x y (φ p, ψ p ) = 2 f (x, y). x y

19 II.2 Differentioituvuus ja lineaarinen derivaatta Usean muuttujan funktion osittaisderivaattojen olemassaolo kertoo funktiosta oleellisesti vähemmän kuin derivaatan olemassaolo yhden reaalimuuttujan funktion tapauksessa. Tämä johtuu luonnollisesti siitä, että osittaisderivaattoihin vaikuttaa vain funktion arvojen muutos argumentin liikkuessa koordinaattiakselien suunnassa. Esimerkki II.2.1. Olkoon f(x, y) = xy x 2 + y 2, kun (x, y) (, ), ja f(, ) =. Funktio f ei ole jatkuva origossa (mikä näkyy esim., kun sijoitetaan x = r cos φ, y = r sin φ), mutta osittaisderivaatat ovat olemassa: f f(h, ) f(, ) (, ) = lim x h h = = f (, ). y Määrittelemme tässä jaksossa differentioituvuuden käsitteen, joka osittaisderivaattoja paremmin ottaa huomioon kuvauksen käyttäytymisen annetun pisteen ympäristössä. Differentioituvuuteen liittyy lineaarinen derivaattakuvaus, joka toisella tavoin kuin osittaisderivaatta yleistää yhden muuttujan funktion derivaatan. Pisteen x R ympäristössä määritellyn reaaliarvoisen funktion derivaatta pisteessä x määritellään tunnetusti lukuna f f(x + h) f(x) (x) = lim, h h mikäli tämä raja-arvo on olemassa. Jos suoraan yritetään korvata x ja h R n :n alkioilla, erotusosamäärä ja sen raja-arvo menettävät merkityksensä. Sen sijaan luvun f (x) määrittelemä lineaarikuvaus h f (x)h on käsite, joka voidaan yleistää. Edellä mainittu yhden muuttujan funktion differentioituvuuden määrittelevä ehto voidaan esittää seuraavassa ekvivalentissa muodossa: On olemassa sellainen a R, että lim f(x + h) f(x) h a h = eli yhtäpitävästi f(x + h) f(x) ah lim =. h h Koska lineaarikuvaukset T : R R ovat samat kuin kuvaukset h ah, missä a R, tämä ehto voidaan edelleen ilmaista vaatimalla, että on sellainen lineaarikuvaus T : R R, että f(x + h) f(x) T h lim =. h h Tämä muotoilu voidaan yleistää vektorimuuttujan vektoriarvoiselle funktiolle, kun itseisarvo korvataan normilla. Vektorimuuttujan funktion raja-arvo voidaan määritellä samaan tapaan kuin reaalimuuttujan funktionkin tilanteessa. Tarvitsemme vain seuraavaa tapausta:

Avaruuden R n osajoukossa A \ {x } määritellylle R m -arvoiselle funktiolle ψ, missä x on A:n sisäpiste, on 2 lim ψ(x) = y R m, x x jos ja vain jos jokaista ε > vastaa sellainen δ >, että ψ(x) y < ε aina, kun < x x < δ ja x A. Näiden valmistelujen jälkeen esitämme usean muuttujan funktion differentioituvuuden määritelmän. Määritelmä II.2.2. Olkoon A R n ja x A:n sisäpiste. Sanomme, että kuvaus f : A R m on differentioituva pisteessä x, jos on olemassa sellainen lineaarikuvaus T : R n R m, että f(x + h) f(x) T h lim =. h h Seuraavassa lauseessa esitetään määritelmän ehdon kanssa yhtäpitävä usein käyttökelpoinen muotoilu (jota käytämme jatkossa yleensä tähän lauseeseen viittaamatta). Lause II.2.3. Olkoon A R n ja x A:n sisäpiste. Kuvaus f : A R m on differentioituva pisteessä x, jos ja vain jos on olemassa sellainen lineaarikuvaus T : R n R m ja sellainen jossakin R n :n origon palloympäristössä B(, r) määritelty kuvaus ψ : B(, r) R m, että ja lim ψ(h) = h f(x + h) f(x) = T h + h ψ(h) aina, kun h B(, r). Tällöin määritelmässä II.2.2 esiintyvä T kelpaa tässä lauseessa esiintyväksi T :ksi ja kääntäen. Todistus. Oletetaan ensin määritelmän II.2.2 ehto. Valitaan r > siten, että B(x, r) A ja määritellään ψ : B(, r) R m asettamalla ψ() = ja ψ(x) = 1 [f(x + h) f(x) T h] h muuten. Välittömästi nähdään, että tämä ψ täyttää lauseen vaatimuksen. Kääntäen, jos lauseen ehto on voimassa ja < h < r, on kun h. f(x + h) f(x) T h h = ψ(h), Lauseessa ei ole merkitystä sillä, minkä arvon ψ saa origossa, ja tarvittaessa voidaan vaatia esim., että ψ() =. Lause II.2.4. Olkoon A R n ja x A:n sisäpiste. Jos kuvaus f = (f 1,..., f m ) : A R m

21 on differentioituva pisteessä x, niin määritelmässä II.2.2 ja lauseessa II.2.3 esiintyvä lineaarikuvaus T on yksikäsitteisesti määrätty, ja jos (a ij ) on sen matriisi, niin kaikilla i = 1,..., m, j = 1,..., n. a ij = f i x j (x) Todistus. Lauseen II.2.3 nojalla riittää käsitellä tilannetta, jossa T on jokin lauseessa II.2.3 mainitun ehdon täyttävä lineaarikuvaus ja (a ij ) sen matriisi. Jos merkitään h = (,...,, h j,,..., ), missä j:nnellä paikalla on h j, on jakson I.7 tarkastelujen nojalla f i (x + h) f i (x) h j = 1 h j [T h + h ψ(h)] e m i = a ij + h ψ i (h), h j missä ψ = (ψ 1,..., ψ m ) : B(, r) R m on kuvaus, jolle lim k ψ(k) =. Koska h ψ i (h) h j = ψ i(h) ψ(h), kun h j = h, on a ij = f i x j (x). Tästä seuraa erityisesti, että T :n matriisi ja siis itse T on yksikäsitteisesti määrätty. Määritelmä II.2.5. Määritelmän II.2.2 tilanteessa (edellisen lauseen mukaan yksikäsitteisesti määrättyä) lineaarikuvausta T : R n R m sanotaan pisteessä x differentioituvan kuvauksen f derivaataksi (tai Fréchet n derivaataksi) pisteessä x, ja sille käytetään merkintää Df(x). Derivaatan Df(x) matriisia sanotaan f:n Jacobin matriisiksi (pisteessä x). Lauseen II.2.4 nojalla edellä mainittu Jacobin matriisi on f 1 f (x) 1 f (x)... 1 (x) x 1 x 2 x n f 2 f (x) 2 f (x)... 2 (x) x 1 x 2 x n....... f m f (x) m f (x)... m (x) x 1 x 2 x n Esimerkki II.2.6. Määritellään kuvaus f : R 3 R 2 kaavalla f(x, y, z) = (x 2 +y, xyz). Osoitamme, että f on differentioituva jokaisessa pisteessä (x, y, z). Ainoa mahdollinen ehdokas derivaataksi pisteessä (x, y, z) on lineaarikuvaus T, jonka matriisi on ( ) 2x 1. yz xz xy

Vektorille h = (h 1, h 2, h 3 ) saadaan yksinkertaisella laskulla 22 f(x + h 1, y + h 2, z + h 3 ) f(x, y, z) T h = (h 2 1, yh 1 h 3 + zh 1 h 2 + h 1 h 2 h 3 ). Näin ollen lauseen I.1.1 (c) nojalla kun h, sillä esim. h 2 h. f(x + h 1, y + h 2, z + h 3 ) f(x, y, z) T h h (h 2 = 1, yh 1 h 3 + zh 1 h 2 + h 1 h 2 h 3 ) h h 2 + yh 1 + zh 1 + h 1 h 3, Huomautus II.2.7. Olkoon edellä m = 1, jolloin siis tarkastellaan joukossa A R n määriteltyä reaaliarvoista funktiota f. Oletetaan, että f on differentioituva pisteessä x A. Nyt f:n Jacobin matriisi pisteessä x on 1 n -matriisi Vastaavaa vektoria ( f x 1 (x) f(x) = f x 2 (x)... f x n (x) ). ( f (x), f (x),..., f ) (x) x 1 x 2 x n sanotaan f:n gradientiksi pisteessä x. Tässä tapauksessa Df(x)h = f(x) h kaikilla h R n, kuten heti nähdään matriisitulon määritelmästä ja jakson I.7 tarkasteluista. (Merkitsimme tässä sisätuloa pisteellä.) Huomautus II.2.8. Olkoon A R n. Kuvaus f = (f 1,..., f m ) : A R m on differentioituva pisteessä x A, jos ja vain jos jokainen komponenttifunktio f i on differentioituva x:ssä (harjoitustehtävä), ja selvästi tällöin derivaatan Df(x) matriisissa ovat komponenttifunktioiden f i gradientit vaakavektoreina. Tästä syystä differentioituvuustarkasteluissa voidaan uein rajoittua reaaliarvoisiin funktioihin. Lause II.2.9. Olkoon A R n ja kuvaus f : A R m differentioituva pisteessä x A. Silloin f on jatkuva x:ssä. Todistus. Lauseen II.2.3 mukaisesta kehitelmästä saadaan mistä väite heti seuraa. f(y) f(x) = T (y x) + y x ψ(y x) T y x + y x ψ(y x), Esimerkki II.2.1. Esimerkissä II.2.1 tarkasteltu funktio ei ole differentioituva origossa, koska se ei ole siinä jatkuva. Kuitenkin osittaisderivaatat ovat olemassa kaikkialla: origossa esimerkin II.2.1 mukaan ja sen ulkopuolella tavallisten derivoimissääntöjen nojalla.

Edellinen esimerkki osoittaa, että osittaisderivaattojen olemassaolo ei ole riittävä ehto differentioituvuudelle. Kuitenkin on voimassa seuraava tulos, jota käytännössä useimmiten käytetään differentioituvuuden toteamiseen. 23 Lause II.2.11. Olkoon A R n ja x A:n sisäpiste. Oletetaan, että funktiolla f : A R on jossakin pisteen x avoimessa palloympäristössä osittaisderivaatat f x j, j = 1,..., n, jotka ovat jatkuvat pisteessä x. Silloin f on differentioituva x:ssä. Todistus. Rajoitutaan lauseessa mainittuun palloympäristöön B(x, r). Kun h < r, erotus f(x+h) f(x) voidaan kirjoittaa seuraavassa muodossa (missä x = x = (x 1,..., x n ) ja h = h = (h 1,..., h n )): f(x + h) f(x) = f(x 1 + h 1,..., x n + h n ) f(x 1,..., x n ) n = [f(x 1,..., x j 1, x j + h j,..., x n + h n ) j=1 f(x 1,..., x j, x j+1 + h j+1,..., x n + h n )]. Otetaan käyttöön apufunktiot φ j, j = 1,..., n, joille φ j (t) = f(x 1,..., x j 1, t, x j+1 + h j+1,..., x n + h n ), jolloin φ j täyttää väliarvolauseen oletukset välillä, jonka päätepisteet ovat x j ja x j + h j (tapauksessa h j ), joten x j :n ja x j + h j :n välissä on (tapauksessa h j, ja jos h j =, voidaan valita ξ j = x j ) sellainen ξ j, että f(x + h) f(x) = = = n [φ j (x j + h j ) φ j (x j )] = j=1 n φ j(ξ j )h j j=1 n D j f(x 1,..., x j 1, ξ j, x j+1 + h j+1,..., x n + h n )h j j=1 n [D j f(x) + ψ j (h)] h j = j=1 n D j f(x)h j + h ψ(h), missä kullakin h, jolla h < r, funktioiden ψ j arvot ψ j (h) on määritelty lukujen ξ j valintojen avulla osittaisderivaattojen arvojen erotuksena: ψ j (h) = D j f(x 1,..., x j 1, ξ j, x j+1 + h j+1,..., x n + h n ) D j f(x), ja on merkitty ψ(h) = 1 h j=1 n ψ j (h)h j. j=1 Silloin osittaisderivaattojen jatkuvuusoletuksen nojalla ψ(h) n ψ j (h), j=1 kun h. Siis f(x + h) f(x) on lauseessa II.2.3 tarkasteltua muotoa.