MS-C1540 Euklidiset avaruudet

Save this PDF as:
 WORD  PNG  TXT  JPG

Koko: px
Aloita esitys sivulta:

Download "MS-C1540 Euklidiset avaruudet"

Transkriptio

1 MS-C1540 Euklidiset avaruudet MS-C1540 Euklidiset avaruudet III-periodi, kevät 2016 Pekka Alestalo Matematiikan ja systeemianalyysin laitos Aalto-yliopiston perustieteiden korkeakoulu 1 / 30

2 Euklidiset avaruudet Euklidinen avaruus: Tarkoittaa joukkoa R n tavallisella etäisyyden käsitteellä varustettuna (tai myös n-vektorit ilman koordinaatiston valintaa). Eukleides Aleksandrialainen n. 300 eaa. Kuuluisin teos Alkeet, jossa geometrian tuloksia johdettiin viidestä aksiomasta lähtien. Metrinen avaruus on euklidisen avaruuden yleistys tilanteeseen, jossa etäisyyden (eli metriikan) käsite on yleisempi. Topologia on matematiikan ala, jossa tutkitaan vielä metrisiä avaruuksia yleisempiä tilanteita: lähtökohtana on avoimen joukon käsite. 2 / 30

3 Tavoitteet Metrisen avaruuden peruskäsitteiden ja tärkeimpien tulosten täsmällinen käsittely. Matemaattisen päättelyn (todistus) esittäminen ymmärrettävällä tavalla (koskee myös luennoitsijaa...) Työkaluja jatkoa varten. 3 / 30

4 Sisältö Reaaliluvut Sisätulo, normi ja metriikka Avoimet ja suljetut joukot Jatkuvuus Jonot Täydellisyys Kompaktius Yhtenäisyys 4 / 30

5 Esimerkki On olemassa jatkuvia funktioita f : R R, jotka eivät ole derivoituvia missään pisteessä x R. Analyysin menetelmä: Kaavalla f (x) = 2 n sin(4 n x) n=0 määritelty funktio on tällainen, koska... Topologian menetelmä: Melkein kaikki funktiot ovat tällaisia, koska... 5 / 30

6 Perusongelma Intuitiivinen päättely johtaa joissakin tilanteissa harhaan. Ainoa tapa selvittää, mikä on totta ja mikä ei, on Määritelmät Lause Todistus -tyyppinen päättely. Esimerkkejä: Edellisen kalvon ei-missään-derivoituvat funktiot jms. (Weierstrass, Riemann, Cantor) Peanon käyrät Jordanin käyrälauseen yleistykset Banachin ja Tarskin paradoksi, Kakeyan ongelma, digitaalinen aurinkokello ja muut mittateorian erikoisuudet 6 / 30

7 Solmussa vai ei? 7 / 30

8 Linkissä vai ei? 8 / 30

9 Reaaliluvut Reaalilukujen joukko R. Täsmällinen konstruointi palautuu rationaalilukuihin, jossa eri mahdollisuuksia: - Dedekindin leikkaukset - rationaaliset Cauchy-jonot - desimaaliapproksimaatiot. Reaalilukujen ja niiden laskutoimitusten konstruointi ei kuulu tälle kurssille, mutta viimeiseen kohtaan palataan lyhyesti myöhemmin. Reaalilukujen aksiomat 1 (eli tavalliset laskusäännöt) oletetaan tunnetuiksi; poikkeuksena Täydellisyysaksioma, josta kohta lisää. Lisäksi Cauchy-jonoja käsitellään myöhemmin yleisemmässä tapauksessa metrisen avaruuden täydellisyyden kohdalla. 9 / 30 1 fi.wikipedia.org/wiki/reaaliluku

10 Jonot Lukujonolla tarkoitetaan ääretöntä jonoa reaalilukuja a n R, kun indeksi n N = {1, 2, 3,... }. Merkitään (a n ) = (a n ) n N = (a n ) n=1 = (a 1, a 2, a 3,... ). Myöhemmin kurssilla käsitellään yleisemmin metrisen avaruuden jonoja ja funktiojonoja. Lukujono täsmällinen tulkinta on funktio f : N R, jolle f (n) = a n. Jonon indeksöinti voi alkaa myös jostakin muusta arvosta kuin 1. Jos indeksin alkuarvo ei ole tärkeä tai tilanne on muuten selvä, voidaan käyttää merkintää (a n ). 10 / 30

11 Ominaisuuksia Jonojen ominaisuuksia: Lukujono (a n ) on ylhäältä rajoitettu, jos on olemassa sellainen C R, että a n C kaikilla n alhaalta rajoitettu, jos on olemassa sellainen c R, että a n c kaikilla n rajoitettu, jos se on sekä ylhäältä että alhaalta rajoitettu nouseva, jos a n+1 a n kaikilla n laskeva, jos a n+1 a n kaikilla n monotoninen, jos se on nouseva tai laskeva 11 / 30

12 Jonon suppeneminen Määritelmä. Lukujono (a n ) suppenee kohti raja-arvoa L, jos lausekkeen a n L arvo lähestyy nollaa, kun n ; täsmällisemmin: Jokaista ε > 0 vastaa sellainen indeksi n ε N, että a n L < ε aina kun n n ε. Tällöin merkitään lim a n = L. n Jos lukujono ei suppenee, niin se hajaantuu. Idea: Mitä pienempi ε, sitä suurempi n ε tarvitaan. Piirrä kuvio! 12 / 30

13 Yleisiä tuloksia Suppeneva jono on rajoitettu. Suppiloperiaate: Jos a n b n c n jostakin indeksistä alkaen ja lim a n = lim c n = L, n n niin jono (b n ) suppenee ja lim n b n = L. Geometrinen jono (q n ) suppenee, jos suhdeluku 1 < q 1, jolloin sen raja-arvo on joko 0 tai 1. Muissa tapauksissa geometrinen jono hajaantuu. 13 / 30

14 Laskusääntöjä 14 / 30 Jos lim n a n = a, lim n b n = b ja c R, niin lim (a n + b n ) = a + b, n lim (a nb n ) = ab, n lim (c a n) = c a (edellisen erikoistapaus), n lim (a n/b n ) = a/b, jos b 0 (jolloin myös b n 0 jostakin n indeksistä alkaen). Perustelu: Ensimmäinen ja kolmas kaava ovat suoraviivaisia. Toisen kohdalla käytetään epäyhtälöä a n b n ab = (a n b n a n b) + (a n b ab) a n b n b + a n a b ja sitä, että a n C jollakin vakiolla C. Tämän jälkeen väite seuraa suppiloperiaatteesta (tai helposti suoraankin). Neljännen kaavan kohdalla osoitetaan aluksi, että 1/b n 1/b, ja käytetään sen jälkeen tulokaavaa.

15 supremum ja infimum Olkoon A R ylhäältä rajoitettu. Reaaliluku M R on joukon A pienin yläraja eli supremum, jos (i) M on joukon A yläraja, eli a M kaikilla a A; (ii) M M kaikille joukon A ylärajoille M. Tällöin merkitään sup A = M. Jos A ei ole ylhäältä rajoitettu, niin merkitään sup A =. Vastaavalla tavalla määritellään suurin alaraja eli infimum inf A. Rajoitetulle joukolle A on siis [inf A, sup A] pienin suljettu väli, joka sisältää joukon A. Jos sup A A on äärellinen, niin max A = sup A on joukon A suurin alkio. Jos inf A A on äärellinen, niin min A = inf A on joukon A pienin alkio. 15 / 30

16 sup/inf-sovelluksia Supremumin ja infimumin merkitys tulee näkyville sellaisissa tilanteissa, joissa maksimia ja minimiä ei ole olemassa. Esimerkkejä: Parametrisoidun käyrän kaarenpituus. (Kts. luentomoniste) Rajoitetun funktion Riemann-integraali. (Kts. luentomoniste) Joukon läpimitta, joukkojen välinen etäisyys (myöhemmin tällä kurssilla) 16 / 30

17 Täydellisyysaksioma 17 / 30 Reaalilukujen joukon erottaa rationaalilukujen joukosta Q Täydellisyysaksioma, eli jokin seuraavista keskenään yhtäpitävistä ominaisuuksista: (i) Jos A R on ylhäältä rajoitettu joukko, niin sillä on pienin yläraja sup A R. (ii) Nouseva ja ylhäältä rajoitettu reaalilukujono (a n ) n N suppenee kohti raja-arvoa L R. (iii) Jos (I n ) n N on pienenevä jono (inkluusion suhteen, eli I n+1 I n kaikilla n) suljettuja välejä I n R, niin leikkaus I n. n=1 Todistus (i) (ii) (iii) (i) luentomonisteessa. Yhtäpitävä versio (ii) : Laskeva ja alhaalta rajoitettu reaalilukujono (b n ) n N suppenee. Idea: b n = a n.

18 Reaaliluku Kohdat (ii) ja (ii) tarjoavat mahdollisuuden reaaliluvun täsmälliseen määritelmään: Reaaliluku n,d 1 d 2..., jossa kokonaisosa n on kokonaisluku ja desimaalit d 1, d 2, {0, 1, 2,..., 9}, on monotonisen rationaalilukujonon raja-arvo. (n; n,d 1 ; n,d 1 d 2 ; n,d 1 d 2 d 3,... ) 18 / 30

19 Irrationaaliluvut 19 / 30 Suurin osa (kts. loppu) reaaliluvuista x R on irrationaalisia eli niitä ei voida esittää muodossa x = p/q, p Z, q N. Tunnetuimpia esimerkkejä ovat 2. Idea: Jos 2 = p/q, niin p, q ovat parillisia RR. Neperin luku e. Idea: Taylor-polynomin virhearvio (L. Euler 1737). π 3,14... (M. Lambert 1761) Katso esim. Tämän kurssin kannalta tärkeimmät tulokset ovat: Kahden eri reaaliluvun välissä on aina rationaaliluku (ja itse asiassa äärettömän monta) Kahden eri reaaliluvun välissä on aina irrationaaliluku (ja itse asiassa äärettömän monta) Todistukset luentomonisteessa.

20 Algebralliset luvut (oheislukemista) Kaikki rationaaliluvut ovat myös algebrallisia: Rationaaliluku x = p/q toteuttaa konaislukukertoimisen polynomiyhtälön qx p = 0. Vastaavasti irrationaaliluku x = 2 toteuttaa yhtälön x 2 2 = 0. Sen sijaan e ja π eivät ole algebrallisia vaan transkendenttisia lukuja: ne eivät ole minkään kokonaislukukertoimisen polynomin nollakohtia! (e: C. Hermite 1873; π: F. von Lindemann 1882) Suurin osa reaaliluvuista on transkendenttisia, mutta yksittäisen luvun osoittaminen sellaiseksi on yleensä hyvin hankalaa. Esimerkkejä: e π : A.O. Gelfond : T. Schneider / 30

21 Ylinumeroituvuus Reaalilukujen joukko on ylinumeroituva: Ei ole olemassa surjektiota f : N R; ts. mikään reaalilukujono ei voi sisältää kaikkia reaalilukuja. Todistus: Cantorin diagonaalimenetelmä, kts. luentomoniste. 21 / 30

22 Sisätuloavaruus Määritelmä 1 Reaalisessa vektoriavaruudessa E määritelty operaatio E E R, jossa (x, y) x, y = x y, (vaihtoehtoiset merkinnät) on sisätulo (inner product), jos pätee (S1) x, y = y, x kaikilla x, y E (S2) ax, y = a x, y kaikilla x, y E, a R (S3) x + y, z = x, z + y, z kaikilla x, y, z E (S4) x, x 0 kaikilla x E (S5) x, x = 0 x = 0 Sisätuloon liittyvä vektorin x E normi on x = x, x. 22 / 30

23 Schwarzin epäyhtälö ja kulma Lause 2 Sisätuloavaruudessa E pätee kaikille x, y E. Määritelmä 3 x, y x y Kahden sisätuloavaruuden vektorin x, y E \ {0} välinen kulma ϕ [0, π] saadaan kaavasta cos ϕ = x y [ 1, 1]. x y 23 / 30

24 Kolme tärkeää esimerkkiä Euklidinen avaruus R n, x = (x 1,..., x n ), x k R kaikilla k = 1,..., n: n x y = x 1 y x n y n = x k y k k=1 Jonoavaruus l 2 = { (x k ) k N x k R kaikilla k N ja k=1 x 2 k < } : x, y = x 1 y 1 + x 2 y 2 + = x k y k k=1 Jatkuvien funktioiden avaruus (C = continuous) C([a, b]) = C([a, b], R) = {f : [a, b] R f on jatkuva}: f, g = b a f (x)g(x) dx. 24 / 30

25 Normiavaruus Määritelmä 4 Vektoriavaruuden E kuvaus E [0, [, jossa x x, on normi (norm), jos (N1) x + y x + y kaikilla x, y E (kolmioepäyhtälö) (N2) cx = c x kaikilla x E, c R (N3) x = 0 x = 0 Tulkinta: x = vektorin x pituus. Tyypillinen esimerkki: Sisätulon määräämä normi. 25 / 30

26 Metrinen avaruus Määritelmä 5 Olkoon X joukko ja d : X X [0, [ funktio, joka toteuttaa ehdot (M1) d(x, z) d(x, y) + d(y, z) kaikilla x, y, z X (kolmioepäyhtälö) (M2) d(x, y) = d(y, x) kaikilla x, y E (M3) d(x, y) = 0 x = y Tällöin d on metriikka (eli etäisyys, metric) joukossa X ja (X, d) on metrinen avaruus (metric space). Tyypillinen esimerkki: Normin määräämä metriikka d(x, y) = x y normiavaruudessa E. 26 / 30

27 Metrisen avaruuden käsitteitä Olkoon a X keskipiste, r > 0 säde: avoin kuula B(a, r) = {x X d(x, a) < r} (open ball) suljettu kuula B(a, r) = {x X d(x, a) r} (closed ball) pallo S(a, r) = {x X d(x, a) = r} (sphere) joukon A X läpimitta (diameter) d(a) = diam (A) = sup{d(x, y) x, y A} joukkojen A, B X välinen etäisyys (distance) d(a, B) = dist (A, B) = inf{d(a, b) a A, b B} 27 / 30

28 Avoimet joukot Taustaoletus: (X, d) on metrinen avaruus. Määritelmä 6 Joukko U X on avoin (open), jos jokaista x U vastaa sellainen r = r x > 0, että B(x, r) U. Avaruuden X topologia (topology) on sen kaikkien avoimien osajoukkojen kokoelma, merkitään yleensä T. Lause 7 Tyhjä joukko, koko avaruus X ja kaikki avoimet kuulat B(a, r) ovat avoimia. Avoimien joukkojen yhdisteet ovat avoimia. Avoimien joukkojen äärelliset leikkaukset ovat avoimia. 28 / 30

29 Suljetut joukot Määritelmä 8 Joukko F X on suljettu (closed), jos sen komplementti X \ F on avoin. Lause 9 Tyhjä joukko, koko avaruus X ja kaikki suljetut kuulat B(a, r) ovat suljettuja. Suljettujen joukkojen leikkaukset ovat suljettuja. Suljettujen joukkojen äärelliset yhdisteet ovat suljettuja. 29 / 30

30 Reuna ja sulkeuma Määritelmä 10 Olkoon A X. Joukon A pisteet voidaan jakaa kolmeen eri tyyppiin: Piste x X on joukon A sisäpiste (interior point), jos B(x, r) A jollakin r > 0. ulkopiste (exterior point), jos B(x, r) X \ A jollakin r > 0. reunapiste (boundary point) muuten. Tällöin siis B(x, r) A ja B(x, r) (X \ A) kaikilla r > 0. Reunapisteiden joukko A on joukon A reuna (boundary). Joukon A sulkeuma (closure) on A = A A. (Sisä-/ulkopisteiden joukoille käytetetään merkintöjä int A/ext A.) 30 / 30

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

Reaaliluvut. tapauksessa metrisen avaruuden täydellisyyden kohdalla. 1 fi.wikipedia.org/wiki/reaaliluku 1 / 13 Reaaliluvut Reaalilukujen joukko R. Täsmällinen konstruointi palautuu rationaalilukuihin, jossa eri mahdollisuuksia: - Dedekindin leikkaukset - rationaaliset Cauchy-jonot - desimaaliapproksimaatiot. Reaalilukujen

Lisätiedot

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

reaalifunktioiden ominaisuutta, joiden perusteleminen on muita perustuloksia hankalampaa. Kalvoja täydentää erillinen moniste, Reaaliluvuista Pekka Alestalo Matematiikan ja systeemianalyysin laitos Aalto-yliopiston perustieteiden korkeakoulu Nämä kalvot sisältävät tiivistelmän reaaliluvuista ja niihin liittyvistä käsitteistä.

Lisätiedot

Lukujoukot. Luonnollisten lukujen joukko N = {1, 2, 3,... }.

Lukujoukot. Luonnollisten lukujen joukko N = {1, 2, 3,... }. Lukujoukot Luonnollisten lukujen joukko N = {1, 2, 3,... }. N 0 = {0, 1, 2, 3,... } = N {0}. Kokonaislukujen joukko Z = {0, 1, 1, 2, 2,... }. Rationaalilukujen joukko Q = {p/q p Z, q N}. Reaalilukujen

Lisätiedot

Euklidiset avaruudet. MS-C1540 Euklidiset avaruudet. Tavoitteet. Perusongelma. Esimerkki. Solmussa vai ei? Linkissä vai ei?

Euklidiset avaruudet. MS-C1540 Euklidiset avaruudet. Tavoitteet. Perusongelma. Esimerkki. Solmussa vai ei? Linkissä vai ei? MS-C1540 Euklidiset avaruudet Euklidiset avaruudet MS-C1540 Euklidiset avaruudet III-periodi, kevät 2017 Pekka Alestalo Matematiikan ja systeemianalyysin laitos Aalto-yliopiston perustieteiden korkeakoulu

Lisätiedot

MS-C1540 Euklidiset avaruudet

MS-C1540 Euklidiset avaruudet MS-C1540 Euklidiset avaruudet MS-C1540 Euklidiset avaruudet III-periodi, kevät 2017 Pekka Alestalo Matematiikan ja systeemianalyysin laitos Aalto-yliopiston perustieteiden korkeakoulu Nämä kalvot sisältävät

Lisätiedot

1 sup- ja inf-esimerkkejä

1 sup- ja inf-esimerkkejä Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Kaarenpituus. Olkoon r: [a, b] R

Lisätiedot

Jonot. Lukujonolla tarkoitetaan ääretöntä jonoa reaalilukuja a n R, kun indeksi n N. Merkitään. (a n ) n N = (a n ) n=1 = (a 1, a 2, a 3,... ).

Jonot. Lukujonolla tarkoitetaan ääretöntä jonoa reaalilukuja a n R, kun indeksi n N. Merkitään. (a n ) n N = (a n ) n=1 = (a 1, a 2, a 3,... ). Jonot Lukujonolla tarkoitetaan ääretöntä jonoa reaalilukuja a n R, kun indeksi n N. Merkitään (a n ) n N = (a n ) n=1 = (a 1, a 2, a 3,... ). Lukujonon täsmällinen tulkinta on funktio f : N R, jolle f

Lisätiedot

1 sup- ja inf-esimerkkejä

1 sup- ja inf-esimerkkejä Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Nollakohdan olemassaolo. Kaikki tuntevat

Lisätiedot

MS-C1540 Euklidiset avaruudet. MS-C1540 Sisältö. Euklidiset avaruudet. Tavoitteet. Perusongelma. Esimerkki. Linkissä vai ei? Solmussa vai ei?

MS-C1540 Euklidiset avaruudet. MS-C1540 Sisältö. Euklidiset avaruudet. Tavoitteet. Perusongelma. Esimerkki. Linkissä vai ei? Solmussa vai ei? MS-C1540 Sisältö MS-C1540 Euklidiset avaruudet 1 Johdanto 2 Reaaliluvut 3 Jatkuvat funktiot R:ssä 4 Sisätulo ja normi 5 Metrinen avaruus 6 Jatkuvuus 7 Jonot 8 Funktiojonot 9 Täydellisyys 10 Kompaktius

Lisätiedot

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

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos 19.9.2016 Pekka Alestalo, Jarmo

Lisätiedot

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

Metriset avaruudet. Erno Kauranen. 1 Versio: 10. lokakuuta 2016, 00:00 1 Metriset avaruudet Erno Kauranen 1 Versio: 10. lokakuuta 2016, 00:00 1. Sisätulo ja normiavaruus................................................. 3 2. Metrinen avaruus........................................................

Lisätiedot

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

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina. Funktiot Tässä luvussa käsitellään reaaliakselin osajoukoissa määriteltyjä funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina. Avoin väli: ]a, b[ tai ]a, [ tai ],

Lisätiedot

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

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y. ANALYYSIN TEORIA A Kaikki lauseet eivät ole muotoiltu samalla tavalla kuin luennolla. Ilmoita virheistä yms osoitteeseen mikko.kangasmaki@uta. (jos et ole varma, onko kyseessä virhe, niin ilmoita mieluummin).

Lisätiedot

Joukot metrisissä avaruuksissa

Joukot metrisissä avaruuksissa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Saara Lahtinen Joukot metrisissä avaruuksissa Informaatiotieteiden yksikkö Matematiikka Elokuu 2013 Sisältö 1 Johdanto 1 2 Metriset avaruudet 1 2.1 Tarvittavia

Lisätiedot

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

Analyysi 1. Harjoituksia lukuihin 1 3 / Syksy Osoita täsmällisesti perustellen, että joukko A = x 4 ei ole ylhäältä rajoitettu. Analyysi Harjoituksia lukuihin 3 / Syksy 204. Osoita täsmällisesti perustellen, että joukko { 2x A = x ]4, [. x 4 ei ole ylhäältä rajoitettu. 2. Anna jokin ylä- ja alaraja joukoille { x( x) A = x ], [,

Lisätiedot

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012 KOMPLEKSIANALYYSI I KURSSI SYKSY 2012 RITVA HURRI-SYRJÄNEN 2. Kompleksitason topologiaa Kompleksianalyysi on kompleksiarvoisten kompleksimuuttujien funktioiden teoriaa. Tällä kurssilla käsittelemme vain

Lisätiedot

Lebesguen mitta ja integraali

Lebesguen mitta ja integraali Lebesguen mitta ja integraali Olkoon m Lebesguen mitta R n :ssä. R 1 :ssä vastaa pituutta, R 2 :ssa pinta-alaa, R 3 :ssa tilavuutta. Mitallinen joukko E R n = joukko jolla on järkevästi määrätty mitta

Lisätiedot

MS-A0102 Differentiaali- ja integraalilaskenta 1

MS-A0102 Differentiaali- ja integraalilaskenta 1 MS-A0102 Differentiaali- ja integraalilaskenta 1 Riikka Korte (Pekka Alestalon kalvojen pohjalta) Aalto-yliopisto 24.10.2016 Sisältö Käytännön asiat Jonot Sarjat 1.1 Opettajat luennoitsija Riikka Korte

Lisätiedot

MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos September 13, 2017 Pekka Alestalo,

Lisätiedot

1 Sisätulo- ja normiavaruudet

1 Sisätulo- ja normiavaruudet 1 Sisätulo- ja normiavaruudet 1.1 Sisätuloavaruus Määritelmä 1. Olkoon V reaalinen vektoriavaruus. Kuvaus : V V R on reaalinen sisätulo eli pistetulo, jos (a) v w = w v (symmetrisyys); (b) v + u w = v

Lisätiedot

1 Reaaliset lukujonot

1 Reaaliset lukujonot Jonot 10. syyskuuta 2005 sivu 1 / 5 1 Reaaliset lukujonot Reaaliset lukujonot ovat funktioita f : Z + R. Lukujonosta käytetään merkintää (a k ) k=1 tai lyhyemmin vain (a k). missä a k = f(k). Täten lukujonot

Lisätiedot

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1 Analyysi III Jari Taskinen 28. syyskuuta 2002 Luku Sisältö Sarjat 2. Lukujonoista........................... 2.2 Rekursiivisesti määritellyt lukujonot.............. 8.3 Sarja ja sen suppenminen....................

Lisätiedot

Todista raja-arvon määritelmään perustuen seuraava lause: Jos lukujonolle a n pätee lima n = a ja lima n = b, niin a = b.

Todista raja-arvon määritelmään perustuen seuraava lause: Jos lukujonolle a n pätee lima n = a ja lima n = b, niin a = b. 2 Lukujonot 21 Lukujonon määritelmä 16 Fibonacci n luvut määritellään ehdoilla Osoita: 17 a 1 = a 2 = 1; a n+2 = a n+1 + a n, n N a n = 1 [( 1 + ) n ( 2 1 ) n ] 2 Olkoon a 1 = 3, a 2 = 6, a n+1 = 1 n (na

Lisätiedot

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

Seuraava topologisluonteinen lause on nk. Bairen lause tai Bairen kategorialause, n=1 FUNKTIONAALIANALYYSIN PERUSKURSSI 115 7. Tasaisen rajoituksen periaate Täydellisyydestä puristetaan maksimaalinen hyöty seuraavan Bairen lauseen avulla. Bairen lause on keskeinen todistettaessa kahta funktionaalianalyysin

Lisätiedot

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.

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. Matematiikan ja tilastotieteen laitos Topologia I 1. kurssikoe 26.2.2013 Malliratkaisut ja tehtävien tarkastamiset Tehtävät 1 ja 2 Henrik Wirzenius Tehtävät 3 ja 4 Teemu Saksala Jos sinulla on kysyttävää

Lisätiedot

Sarjojen suppenemisesta

Sarjojen suppenemisesta TAMPEREEN YLIOPISTO Pro gradu -tutkielma Terhi Mattila Sarjojen suppenemisesta Matematiikan ja tilastotieteen laitos Matematiikka Huhtikuu 008 Tampereen yliopisto Matematiikan ja tilastotieteen laitos

Lisätiedot

7. Tasaisen rajoituksen periaate

7. Tasaisen rajoituksen periaate 18 FUNKTIONAALIANALYYSIN PERUSKURSSI 7. Tasaisen rajoituksen periaate Täydellisyydestä puristetaan maksimaalinen hyöty seuraavan Bairen lauseen avulla. Bairen lause on keskeinen todistettaessa kahta funktionaalianalyysin

Lisätiedot

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

=p(x) + p(y), joten ehto (N1) on voimassa. Jos lisäksi λ on skalaari, niin FUNKTIONAALIANALYYSI, RATKAISUT 1 KEVÄT 211, (AP) 1. Ovatko seuraavat reaaliarvoiset funktiot p : R 3 R normeja? Ovatko ne seminormeja? ( x = (x 1, x 2, x 3 ) R 3 ) a) p(x) := x 2 1 + x 2 2 + x 2 3, b)

Lisätiedot

FUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto

FUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto FUNKTIONAALIANALYYSIN PERUSKURSSI 1. Johdanto Funktionaalianalyysissa tutkitaan muun muassa ääretönulotteisten vektoriavaruuksien, ja erityisesti täydellisten normiavaruuksien eli Banach avaruuksien ominaisuuksia.

Lisätiedot

Johdatus topologiaan (4 op)

Johdatus topologiaan (4 op) 180305 Johdatus topologiaan (4 op) Kevät 2009 1. Alkusanat Sana topologia on johdettu kreikan kielen sanoista topos ja logos, jotka merkitsevät paikkaa ja tietoa. Jo 1700-luvun alussa käytettiin latinan

Lisätiedot

Sarja. Lukujonosta (a k ) k N voi muodostaa sen osasummien jonon (s n ): s 1 = a 1, s 2 = a 1 + a 2, s 3 = a 1 + a 2 + a 3,...,

Sarja. Lukujonosta (a k ) k N voi muodostaa sen osasummien jonon (s n ): s 1 = a 1, s 2 = a 1 + a 2, s 3 = a 1 + a 2 + a 3,..., Sarja Lukujonosta (a k ) k N voi muodostaa sen osasummien jonon (s n ): Määritelmä 1 s 1 = a 1, s 2 = a 1 + a 2, s 3 = a 1 + a 2 + a 3,..., n s n = a k. Jos osasummien jonolla (s n ) on raja-arvo s R,

Lisätiedot

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

Vektorianalyysi I MAT Luennoitsija: Ritva Hurri-Syrjänen Luentoajat: ti: 14:15-16:00, to: 12:15-14:00 Helsingin yliopisto 21. Vektorianalyysi I MAT21003 Luennoitsija: Ritva Hurri-Syrjänen Luentoajat: ti: 14:15-16:00, to: 12:15-14:00 Helsingin yliopisto 21. syyskuuta 2017 1 Sisältö 1 Euklidinen avaruus 3 1.1 Euklidinen avaruus

Lisätiedot

Topologia Syksy 2010 Harjoitus 9

Topologia Syksy 2010 Harjoitus 9 Topologia Syksy 2010 Harjoitus 9 (1) Avaruuden X osajoukko A on G δ -joukko, jos se on numeroituva leikkaus avoimista joukoista ja F σ -joukko, jos se on numeroituva yhdiste suljetuista joukoista. Osoita,

Lisätiedot

Matematiikka kaikille, kesä 2017

Matematiikka kaikille, kesä 2017 Matematiikka kaikille, kesä 2017 Luentojen 2,4 ja 6 luentokalvoja (päivittyy kurssin aikana) Henrik Wirzenius, henrik.wirzenius@helsinki.fi, June 21, 2017 1/30 Matematiikan perusteita (joukko-oppi) Kurssin

Lisätiedot

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

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n IV. TASAINEN SUPPENEMINEN IV.. Funktiojonon tasainen suppeneminen Olkoon A R joukko ja f n : A R funktio, n =, 2, 3,..., jolloin jokaisella x A muodostuu lukujono f x, f 2 x,.... Jos tämä jono suppenee

Lisätiedot

Metriset avaruudet 2017

Metriset avaruudet 2017 Metriset avaruudet 2017 Jouni Parkkonen Merkintöjä N = {0, 1, 2,... } luonnolliset luvut #(A) N { } joukon A alkioiden lukumäärä A B = {a A : a / B} joukkojen A ja B erotus. A B on joukkojen A ja B erillinen

Lisätiedot

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015 1 Merkintöjä 2 Todistamisesta 2 3 Joukko-oppia Tässä luvussa tarkastellaan joukko-opin

Lisätiedot

8. Avoimen kuvauksen lause

8. Avoimen kuvauksen lause 116 FUNKTIONAALIANALYYSIN PERUSKURSSI 8. Avoimen kuvauksen lause Palautamme aluksi mieleen Topologian kursseilta ehkä tutut perusasiat yleisestä avoimen kuvauksen käsitteestä. Määrittelemme ensin avoimen

Lisätiedot

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

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg) Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus 4 9.4.-23.4.200 Malliratkaisut (Sauli Lindberg). Näytä, että Lusinin lauseessa voidaan luopua oletuksesta m(a)

Lisätiedot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot 3. Funktion raja-arvo ja jatkuvuus 3.1. Reaali- ja kompleksifunktiot 43. Olkoon f monotoninen ja rajoitettu välillä ]a,b[. Todista, että raja-arvot lim + f (x) ja lim x b f (x) ovat olemassa. Todista myös,

Lisätiedot

Luku 2. Jatkuvien funktioiden ominaisuuksia.

Luku 2. Jatkuvien funktioiden ominaisuuksia. 1 MAT-1343 Laaja matematiikka 3 TTY 21 Risto Silvennoinen Luku 2. Jatkuvien funktioiden ominaisuuksia. Jatkossa väli I tarkoittaa jotakin seuraavista reaalilukuväleistä: ( ab, ) = { x a< x< b} = { x a

Lisätiedot

Hilbertin avaruudet, 5op Hilbert spaces, 5 cr

Hilbertin avaruudet, 5op Hilbert spaces, 5 cr Hilbertin avaruudet, 5op Hilbert spaces, 5 cr Pekka Salmi 14.3.2015 Pekka Salmi Hilbertin avaruudet 14.3.2015 1 / 64 Yleistä Opettaja: Pekka Salmi, MA327 Kontaktiopetus ti 1012 (L), ke 810 (L), ma 1214

Lisätiedot

Konvergenssilauseita

Konvergenssilauseita LUKU 4 Konvergenssilauseita Lause 4.1 (Monotonisen konvergenssin lause). Olkoon (f n ) kasvava jono Lebesgueintegroituvia funktioita. Asetetaan f(x) := f n (x). Jos f n

Lisätiedot

1 Kompleksitason geometriaa ja topologiaa

1 Kompleksitason geometriaa ja topologiaa 1 Kompleksitason geometriaa ja topologiaa Tavallisessa analyyttisessä geometriassa käyrien yhtälöt esitetään x-koordinaattien ja y-koordinaattien avulla, esimerkiksi y = 1 x esittää tasasivuista hyperbeliä,

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 4 Jatkuvuus Jatkuvan funktion määritelmä Tarkastellaan funktiota f x) jossakin tietyssä pisteessä x 0. Tämä funktio on tässä pisteessä joko jatkuva tai epäjatkuva. Jatkuvuuden

Lisätiedot

1 Määrittelyjä ja aputuloksia

1 Määrittelyjä ja aputuloksia 1 Määrittelyjä ja aputuloksia 1.1 Supremum ja infimum Aluksi kerrataan pienimmän ylärajan (supremum) ja suurimman alarajan (infimum) perusominaisuuksia ja esitetään muutamia myöhemmissä todistuksissa tarvittavia

Lisätiedot

MS-A0207 Differentiaali- ja integraalilaskenta 2 (CHEM) Luento 2: Usean muuttujan funktiot

MS-A0207 Differentiaali- ja integraalilaskenta 2 (CHEM) Luento 2: Usean muuttujan funktiot MS-A0207 Differentiaali- ja integraalilaskenta 2 (CHEM) Luento 2: Usean muuttujan funktiot Harri Hakula Matematiikan ja systeemianalyysin laitos 1 Aalto-yliopisto Kevät 2018 1 Perustuu Antti Rasilan luentomonisteeseen

Lisätiedot

MS-A010X Differentiaali- ja integraalilaskenta 1

MS-A010X Differentiaali- ja integraalilaskenta 1 MS-A010X Differentiaali- ja integraalilaskenta 1 Pekka Alestalo Aalto-yliopisto 1.9.2016 Pekka Alestalo (Aalto-yliopisto) MS-A010X Differentiaali- ja integraalilaskenta 1 1.9.2016 1 / 200 Sisältö Nämä

Lisätiedot

MS-A010X Differentiaali- ja integraalilaskenta 1

MS-A010X Differentiaali- ja integraalilaskenta 1 MS-A010X Differentiaali- ja integraalilaskenta 1 Pekka Alestalo 1 Aalto-yliopisto Perustieteiden korkeakoulu Matematiikan ja systeemianalyysin laitos 6.9.2017 1 Kiitokset Harri Hakulalle, Janne Korvenpäälle,

Lisätiedot

Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle

Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle Olkoon X sisätuloavaruus ja Y X äärellisulotteinen aliavaruus. Tällöin on olemassa lineaarisesti riippumattomat vektorit y 1, y 2,..., yn, jotka

Lisätiedot

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

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 4: Derivaatta MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 4: Derivaatta Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos 21.9.2016 Pekka Alestalo, Jarmo

Lisätiedot

Määritelmä 2.5. Lause 2.6.

Määritelmä 2.5. Lause 2.6. Määritelmä 2.5. Olkoon X joukko ja F joukko funktioita f : X R. Joukkoa F sanotaan pisteittäin rajoitetuksi, jos jokaiselle x X on olemassa sellainen C x R, että f x C x jokaiselle f F. Joukkoa F sanotaan

Lisätiedot

MS-A010X Differentiaali- ja integraalilaskenta 1

MS-A010X Differentiaali- ja integraalilaskenta 1 MS-A010X Differentiaali- ja integraalilaskenta 1 Pekka Alestalo 1 Aalto-yliopisto Perustieteiden korkeakoulu Matematiikan ja systeemianalyysin laitos 20.10.2017 1 Kiitokset Harri Hakulalle, Janne Korvenpäälle,

Lisätiedot

Funktiot ja raja-arvo. Pekka Salmi

Funktiot ja raja-arvo. Pekka Salmi Funktiot ja raja-arvo Pekka Salmi Versio 0.3 13. lokakuuta 2017 Johdanto Tämä moniste on keskeneräinen... 1 1 Reaaliluvut 1.1 Lukujoukot Lukujoukoista käytettään seuraavia merkintöjä: N = {0, 1, 2, 3,...}

Lisätiedot

HILBERTIN AVARUUKSISTA

HILBERTIN AVARUUKSISTA HILBERTIN AVARUUKSISTA Pro gradu -tutkielma Hannariikka Lehtiniemi Matematiikan ja tilastotieteen laitos Jyväskylän yliopisto syksy 2014 TIIVISTELMÄ Ääretönulotteiset avaruudet ovat monilta ominaisuuksiltaan

Lisätiedot

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 2: Usean muuttujan funktiot

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 2: Usean muuttujan funktiot MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 2: Usean muuttujan funktiot Antti Rasila Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Syksy 2016 Antti Rasila (Aalto-yliopisto)

Lisätiedot

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 5: Taylor-polynomi ja sarja

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 5: Taylor-polynomi ja sarja MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 5: Taylor-polynomi ja sarja Pekka Alestalo, Jarmo Malinen Aalto-yliopisto, Matematiikan ja systeemianalyysin laitos 26.9.2016 Pekka Alestalo,

Lisätiedot

Raja-arvot ja jatkuvuus

Raja-arvot ja jatkuvuus Raja-arvot ja jatkuvuus 30. lokakuuta 2014 10:11 Suoraa jatkoa kurssille Johdatus reaalifunktioihin (MATP311) (JRF). Oheislukemista: Kilpeläinen: Analyysi 1, luvut 3-6, Spivak: Calculus, luvut 5-8, 22,

Lisätiedot

Derivaattaluvut ja Dini derivaatat

Derivaattaluvut ja Dini derivaatat Derivaattaluvut Dini derivaatat LuK-tutkielma Helmi Glumo 2434483 Matemaattisten tieteiden laitos Oulun yliopisto Syksy 2016 Sisältö Johdanto 2 1 Taustaa 2 2 Määritelmät 4 3 Esimerkkejä lauseita 7 Lähdeluettelo

Lisätiedot

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Vastauksia. Topologia Syksy 2010 Harjoitus 1 Topologia Syksy 2010 Harjoitus 1 (1) Olkoon X joukko ja (T j ) j J perhe X:n topologioita. Osoita, että T = {T j : j J} on X:n topologia. (2) Todista: Välit [a, b) muodostavat R 1 :n erään topologian kannan.

Lisätiedot

Reaalilukuvälit, leikkaus ja unioni (1/2)

Reaalilukuvälit, leikkaus ja unioni (1/2) Luvut Luonnolliset luvut N = {0, 1, 2, 3,... } Kokonaisluvut Z = {..., 2, 1, 0, 1, 2,... } Rationaaliluvut (jaksolliset desimaaliluvut) Q = {m/n m, n Z, n 0} Irrationaaliluvut eli jaksottomat desimaaliluvut

Lisätiedot

Funktiot ja raja-arvo P, 5op

Funktiot ja raja-arvo P, 5op Funktiot ja raja-arvo 800119P, 5op Pekka Salmi 15. syyskuuta 2017 Pekka Salmi FUNK 15. syyskuuta 2017 1 / 122 Yleistä Luennot: ke 810, to 1214 (ensi viikosta lähtien) Luennoitsija: Pekka Salmi, MA327 Laskupäivä:

Lisätiedot

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI. Matematiikan ja tilastotieteen laitos. Matemaattis-luonnontieteellinen

HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI. Matematiikan ja tilastotieteen laitos. Matemaattis-luonnontieteellinen HELSINGIN YLIOPISTO HELSINGFORS UNIVERSITET UNIVERSITY OF HELSINKI Tiedekunta/Osasto Fakultet/Sektion Faculty Laitos Institution Department Matemaattis-luonnontieteellinen Tekijä Författare Author Kalle

Lisätiedot

Funktiojonon tasainen suppeneminen

Funktiojonon tasainen suppeneminen TAMPEREEN YLIOPISTO Pro gradu -tutkielma Taina Saari Funktiojonon tasainen suppeneminen Matematiikan ja tilastotieteen laitos Matematiikka Elokuu 2009 Tampereen yliopisto Matematiikan ja tilastotieteen

Lisätiedot

MS-A0102 Differentiaali- ja integraalilaskenta 1

MS-A0102 Differentiaali- ja integraalilaskenta 1 MS-A0102 Differentiaali- ja integraalilaskenta 1 Riikka Korte (Pekka Alestalon kalvojen pohjalta) Aalto-yliopisto 24.10.2016 Sisältö Derivaatta 1.1 Derivaatta Erilaisia lähestymistapoja: I geometrinen

Lisätiedot

April 29, Huom. Laskariryhmä 1 peruuntuu myös ma 15.2.

April 29, Huom. Laskariryhmä 1 peruuntuu myös ma 15.2. Topo I, kevään 2010 luentopäiväkirja April 29, 2010 Tähän luentopäiväkirjaan kirjataan lyhyesti jälkikäteen kullakin luennolla käsitellyt asiat ja vastaava kohta kirjassa Jussi Väisälä: Topologia I, 4.

Lisätiedot

Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N,

Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N, Topologia Syksy 2010 Harjoitus 4 (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N, i=1 A i = R 1, ja f : R 1 R 1 ei ole jatkuva. Lause

Lisätiedot

Tasainen suppeneminen ja sen sovellukset

Tasainen suppeneminen ja sen sovellukset Tasainen suppeneminen ja sen sovellukset Tuomas Hentunen Matematiikan pro gradu tutkielma Kesäkuu 2014 Tiivistelmä: Tuomas Hentunen, Tasainen suppeneminen ja sen sovellukset (engl. Uniform convergence

Lisätiedot

LUKU 6. Mitalliset funktiot

LUKU 6. Mitalliset funktiot LUKU 6 Mitalliset funktiot Määritelmistä 3. ja 3.0 seuraa, että jokainen Lebesgue-integroituva funktio on porrasfunktiojonon raja-arvo melkein kaikkialla. Kuitenkin moni tuttu funktio ei ole Lebesgue-integroituva.

Lisätiedot

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

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 Seuraavaksi tarkastellaan C 1 -sileiden pintojen eräitä ominaisuuksia. Lemma 2.7.1. Olkoon S R m sellainen C 1 -sileä pinta, että S on C 1 -funktion F : R m R eräs tasa-arvojoukko. Tällöin S on avaruuden

Lisätiedot

Analyysi 1. Pertti Koivisto

Analyysi 1. Pertti Koivisto Analyysi Pertti Koivisto Syksy 204 Alkusanat Tämä moniste on tarkoitettu oheislukemistoksi Tampereen yliopistossa pidettävälle kurssille Analyysi. Monisteen tavoitteena on tukea luentojen seuraamista,

Lisätiedot

4.3 Moniulotteinen Riemannin integraali

4.3 Moniulotteinen Riemannin integraali 4.3 Moniulotteinen Riemannin integraali Tässä luvussa opitaan miten integroidaan usean muuttujan reaaliarvoista tai vektoriarvoista funktiota, millaisten joukkojen yli jatkuvaa funktiota voi integroida,

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 6 Mikko Salo 6.9.2017 Sisältö 1. Kompleksitaso 2. Joukko-oppia Kompleksiluvut Edellisellä luennolla huomattiin, että toisen asteen yhtälö ratkeaa aina, jos ratkaisujen annetaan

Lisätiedot

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus 1. (5:7) Olkoon E normiavaruus, I = [0, 1] ja f, g : I E jatkuvia. Osoita, että yhtälön h(s, t) = (1 t)f(s) + tg(s) määrittelemä kuvaus h : I 2 E on

Lisätiedot

YHDEN REAALIMUUTTUJAN ANALYYSIN PERUSTEET. Tero Kilpeläinen

YHDEN REAALIMUUTTUJAN ANALYYSIN PERUSTEET. Tero Kilpeläinen YHDEN REAALIMUUTTUJAN ANALYYSIN PERUSTEET Tero Kilpeläinen Luentomuistiinpanoja keväältä 2014 5. maaliskuuta 2015 Sisältö 1. Johdanto 1 2. Reaalilukujen jatkumo 2 2.1. Merkintöjä.................................

Lisätiedot

8. Avoimen kuvauksen lause

8. Avoimen kuvauksen lause FUNKTIONAALIANALYYSIN PERUSKURSSI 125 8. Avoimen kuvauksen lause Palautamme aluksi mieleen Topologian kursseilta ehkä tutut perusasiat yleisestä avoimen kuvauksen käsitteestä. Määrittelemme ensin avoimen

Lisätiedot

Cantorin joukon suoristuvuus tasossa

Cantorin joukon suoristuvuus tasossa Cantorin joukon suoristuvuus tasossa LuK-tutkielma Miika Savolainen 2380207 Matemaattisten tieteiden laitos Oulun yliopisto Syksy 2016 Sisältö Johdanto 2 1 Cantorin joukon esittely 2 2 Suoristuvuus ja

Lisätiedot

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1 1. ALUKSI. Joukko-oppia

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1 1. ALUKSI. Joukko-oppia DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1 Ritva Hurri-Syrjänen/Syksy 1999/Luennot 1. ALUKSI Joukko-oppia Lyhenteitä ja merkintöjä. A = B A:sta seuraa B. Implikaatio. A B A ja B yhtäpitävät. Ekvivalenssi.

Lisätiedot

Metristyvät topologiset avaruudet

Metristyvät topologiset avaruudet TAMPEREEN YLIOPISTO Pro gradu -tutkielma Arttu Ojanperä Metristyvät topologiset avaruudet Informaatiotieteiden yksikkö Matematiikka Tammikuu 2016 Tampereen Yliopisto Informaatiotieteiden yksikkö OJANPERÄ,

Lisätiedot

FUNKTIONAALIANALYYSIN PERUSKURSSI 7

FUNKTIONAALIANALYYSIN PERUSKURSSI 7 FUNKTIONAALIANALYYSIN PERUSKURSSI 7 2. Normi ja normiavaruus Olkoon E vektoriavaruus (eli lineaariavaruus) skalaarikuntana K = R tai K = C. Kurssilla Lineaarialgebra I määriteltiin vain R-kertoimiset vektoriavaruudet,

Lisätiedot

HY / Matematiikan ja tilastotieteen laitos Vektorianalyysi I, syksy 2017 Harjoitus 1 Ratkaisuehdotukset. I.1. Todista Cauchyn-Schwarzin epäyhtälö

HY / Matematiikan ja tilastotieteen laitos Vektorianalyysi I, syksy 2017 Harjoitus 1 Ratkaisuehdotukset. I.1. Todista Cauchyn-Schwarzin epäyhtälö HY / Matematiikan ja tilastotieteen laitos Vektorianalyysi I, syksy 2017 Harjoitus 1 Ratkaisuehdotukset I.1. Todista Cauchyn-Schwarzin epäyhtälö kun x, y R. x y x y, Ratkaisu: Tiedetään, että x + ty 2

Lisätiedot

1. Normi ja sisätulo

1. Normi ja sisätulo Kurssimateriaalia K3/P3-kursille syksyllä 3 83 Heikki Apiola Sisältää otteita Timo Eirolan L3-kurssin lineaarialgebramonisteesta, jonka lähdekoodin Timo on ystävällisesti antanut käyttööni Normi ja sisätulo

Lisätiedot

Reaalilukujonoista ja niiden merkityksestä kouluopetuksessa

Reaalilukujonoista ja niiden merkityksestä kouluopetuksessa TAMPEREEN YLIOPISTO Pro gradu -tutkielma Anna-Kaisa Torvinen Reaalilukujonoista ja niiden merkityksestä kouluopetuksessa Matematiikan ja tilastotieteen laitos Matematiikka Syyskuu 2010 Tampereen yliopisto

Lisätiedot

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

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa 8 Potenssisarjoista 8. Määritelmä Olkoot a 0, a, a 2,... reaalisia vakioita ja c R. Määritelmä 8.. Muotoa a 0 + a (x c) + a 2 (x c) 2 + olevaa sarjaa sanotaan c-keskiseksi potenssisarjaksi. Selvästi jokainen

Lisätiedot

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko? HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 1 Ratkaisuehdotuksia Tehtäväsarja I Seuraavat tehtävät liittyvät luentokalvoihin 1 14. Erityisesti esimerkistä 4 ja esimerkin

Lisätiedot

Sinin jatkuvuus. Lemma. Seuraus. Seuraus. Kaikilla x, y R, sin x sin y x y. Sini on jatkuva funktio.

Sinin jatkuvuus. Lemma. Seuraus. Seuraus. Kaikilla x, y R, sin x sin y x y. Sini on jatkuva funktio. Sinin jatkuvuus Lemma Kaikilla x, y R, sin x sin y x y. Seuraus Sini on jatkuva funktio. Seuraus Kosini, tangentti ja kotangentti ovat jatkuvia funktioita. Pekka Salmi FUNK 19. syyskuuta 2016 22 / 53 Yhdistetyn

Lisätiedot

Luento 8: Epälineaarinen optimointi

Luento 8: Epälineaarinen optimointi Luento 8: Epälineaarinen optimointi Vektoriavaruus R n R n on kaikkien n-jonojen x := (x,..., x n ) joukko. Siis R n := Määritellään nollavektori = (,..., ). Reaalisten m n-matriisien joukkoa merkitään

Lisätiedot

Lukujonon raja-arvo 1/7 Sisältö ESITIEDOT: lukujonot

Lukujonon raja-arvo 1/7 Sisältö ESITIEDOT: lukujonot Lukujonon raja-arvo 1/7 Sisältö Esimerkki lukujonon raja-arvosta Lukujonossa a 1,a 2,a 3,... (jossa on äärettömän monta termiä) voivat luvut lähestyä jotakin arvoa, kun jonossa edetään yhä pidemmälle.

Lisätiedot

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus

Lisätiedot

MS-C1350 Osittaisdifferentiaaliyhtälöt Harjoitukset 5, syksy Mallivastaukset

MS-C1350 Osittaisdifferentiaaliyhtälöt Harjoitukset 5, syksy Mallivastaukset MS-C350 Osittaisdifferentiaaliyhtälöt Haroitukset 5, syksy 207. Oletetaan, että a > 0 a funktio u on yhtälön u a u = 0 ratkaisu. a Osoita, että funktio vx, t = u x, t toteuttaa yhtälön a v = 0. b Osoita,

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/141 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

Kertausta: avaruuden R n vektoreiden pistetulo

Kertausta: avaruuden R n vektoreiden pistetulo Kertausta: avaruuden R n vektoreiden pistetulo Määritelmä Vektoreiden v R n ja w R n pistetulo on v w = v 1 w 1 + v 2 w 2 + + v n w n. Huom. Pistetulo v w on reaaliluku! LM2, Kesä 2014 164/246 Kertausta:

Lisätiedot

Luento 8: Epälineaarinen optimointi

Luento 8: Epälineaarinen optimointi Luento 8: Epälineaarinen optimointi Vektoriavaruus R n R n on kaikkien n-jonojen x := (x,..., x n ) joukko. Siis R n := Määritellään nollavektori 0 = (0,..., 0). Reaalisten m n-matriisien joukkoa merkitään

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiikan tukikurssi Kurssikerta 3 Supremum ja infimum Tarkastellaan aluksi avointa väliä, ) = { : < < }. Tämä on joukko, johon kuuluvat kaikki reaaliluvut miinus yhdestä yhteen. Kuitenkaan päätepisteet

Lisätiedot

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan

Lisätiedot

TAMPEREEN YLIOPISTO Informaatiotieteiden yksikkö TOPOLOGIA

TAMPEREEN YLIOPISTO Informaatiotieteiden yksikkö TOPOLOGIA TAMPEREEN YLIOPISTO Informaatiotieteiden yksikkö TOPOLOGIA Arttu Ojanperä (Eero Hyryn luentojen mukaan) 2013 Sisältö 1 Johdanto 4 1 Jatkuvat kuvaukset........................ 4 2 Avoimet joukot..........................

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /

Lisätiedot

802320A LINEAARIALGEBRA OSA I

802320A LINEAARIALGEBRA OSA I 802320A LINEAARIALGEBRA OSA I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 72 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä

Lisätiedot

Kertausta: avaruuden R n vektoreiden pistetulo

Kertausta: avaruuden R n vektoreiden pistetulo Kertausta: avaruuden R n vektoreiden pistetulo Määritelmä Vektoreiden v R n ja w R n pistetulo on v w = v 1 w 1 + v 2 w 2 + + v n w n. Huom. Pistetulo v w on reaaliluku! LM2, Kesä 2012 227/310 Kertausta:

Lisätiedot

(2n 1) = n 2

(2n 1) = n 2 3.5 Induktiotodistus Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa väite P (n) on totta kaikille n =0, 1, 2,... Tässä väite P (n) riippuu n:n arvosta. Todistuksessa

Lisätiedot