Riemannin integraali on vakiintunut käsite matematiikassa, mutta sen laajentaminen ei ole aina yksinkertaista. Käytännössä monivaiheinen integraali voidaan ymmärtää Riemannin integraalin laajennoksena, erityisesti kun tarkastellaan laajempia alueita kuin suorakulmioita. Näin ollen moninkertaisten integraalien käsittelyssä tulee tärkeäksi ymmärtää, miten Riemannin integraalin perusperiaatteet voivat siirtyä muihin, yleisempiin integraaleihin ja alueisiin.

Aluksi tarkastellaan yksinkertaisempia alueita, kuten suorakulmioita. Olkoon Q=[a,b]×[c,d]Q = [a, b] \times [c, d] suorakulmio. Tällöin voidaan käyttää askelfunktioita, jotka approksimoivat rajattuja funktioita. Proposition 5.2 mukaan, jos funktiot s,ts, t ovat askelfunktioita alueella QQ, ja ne täyttävät ehdon s(x,y)t(x,y)s(x, y) \leq t(x, y) kaikilla pisteillä (x,y)Q(x, y) \in Q, niin tällöin voidaan sanoa, että QsQt\int_Q s \leq \int_Q t. Tämän seurauksena, jos funktio ff on rajallinen suorakulmiossa, voidaan löytää askelfunktiot ss ja tt, jotka rajaavat ff:n alhaalta ja ylhäältä.

Kun tarkastellaan Riemannin integraalia suorakulmioalueilla, sen määritelmä on seuraava: jos f:QRf: Q \to \mathbb{R} on rajallinen funktio suorakulmiossa QQ, sen alaraja ja yläraja ovat Riemannin integraalit. Funktio ff on Riemannin integroitavissa alueella QQ, jos sen alaraja ja yläraja ovat samat. Tällöin sanotaan, että ff on Riemannin integroitavissa, ja integraalin arvo on Qf\int_Q f.

On kuitenkin huomattava, että kaikki rajalliset funktiot eivät ole Riemannin integroitavissa. Esimerkiksi Dirichletin joukon karakteristinen funktio χD\chi_D on rajallinen, mutta sen yläintegraali on 1 ja alaintegraali on 0, joten se ei ole integroitavissa.

Tarkasteltaessa Riemannin integraalia, on hyödyllistä huomata, että askelfunktiot ovat aina integroitavissa määritelmän mukaisesti ja niiden integraali saadaan suoraan laskemalla. Lisäksi on tärkeää ymmärtää, että kaikki suorakulmion osat, kuten alueet RQR \subset Q, ovat myös mitattavissa. Tämä johtaa luonnollisesti laajennuksiin, joissa käytetään mitattavien joukkojen integraalia.

Mitattavien joukkojen osalta voidaan käyttää seuraavaa määritelmää: olkoon Ω\Omega mitattava joukko ja f:ΩRf: \Omega \to \mathbb{R} rajallinen funktio. Jos QQ on suorakulmio, joka sisältää Ω\Omega, ja ff laajennetaan nollaksi alueelle QΩQ \setminus \Omega, niin sanotaan, että ff on Riemannin integroitavissa Ω\Omega:lla, jos se on integroitavissa QQ:lla. Tässä tapauksessa Riemannin integraali ff alueella Ω\Omega on itsenäinen valitusta suorakulmiosta QQ, ja sen arvo saadaan laajentamalla ff:n arvoja nollaksi.

Tällöin voidaan määrittää, että mitattavat joukot, joiden mitta on nolla, eivät vaikuta integraaliin. Esimerkiksi, jos Ω1\Omega_1 ja Ω2\Omega_2 ovat mitattavia alueita ja niiden leikkaus Ω1Ω2\Omega_1 \cap \Omega_2 on mitta nolla, niin ff on integroitavissa kummassakin alueessa, ja integraalit yhdistyvät seuraavasti: Ω1Ω2f=Ω1f+Ω2f\int_{\Omega_1 \cup \Omega_2} f = \int_{\Omega_1} f + \int_{\Omega_2} f.

Moninkertaisilla integraaleilla on myös laajennuksia, jotka mahdollistavat laskelmien helpottamisen erityisissä geometristen alueiden ja symmetrioiden tapauksissa. Esimerkiksi normaalit alueet, kuten ne, jotka voidaan esittää funktion graafeina, antavat meille yksinkertaisia sääntöjä integraalien laskemiseksi. Jos alue Ω\Omega on normaali alue, sen integraali voidaan laskea jakamalla se osiin ja laskemalla yksittäisiä integraaleja.

Erityisesti jos alue on normaali xx-akselille, kuten Ω={(x,y)R2:axb,g1(x)yg2(x)}\Omega = \{(x, y) \in \mathbb{R}^2 : a \leq x \leq b, g_1(x) \leq y \leq g_2(x)\}, niin moninkertaisen integraalin laskeminen voidaan vähentää kahteen yksittäiseen integraaliin, jotka lasketaan xx- ja yy-suunnissa. Tällöin saadaan integraaliin yksinkertaisempi laskentamuoto.

Tässä yhteydessä on myös hyödyllistä tarkastella, miten erityiset koordinaatimuutokset voivat yksinkertaistaa laskelmia. Esimerkiksi pyöreät alueet, kuten rengas {(x,y)R2:r12x2+y2r22}\{(x, y) \in \mathbb{R}^2 : r_1^2 \leq x^2 + y^2 \leq r_2^2\}, voidaan kuvailla helpommin pyörökoordinaateilla, jolloin integraali voidaan laskea yksinkertaisemmin käyttäen kahta muuttujaa ρ\rho ja θ\theta.

Lopuksi on tärkeää huomata, että koordinaatimuutokset voivat tarjota nopeampia ja tehokkaampia tapoja laskea moninkertaisia integraaleja, erityisesti kun alueella on tiettyjä symmetrioita, joita voidaan hyödyntää.

Mikä on avoimen, suljetun ja rajapisteen käsite topologiassa?

Topologiassa avointen ja suljettujen joukkojen käsitteet ovat keskeisiä ja niiden ymmärtäminen auttaa tarkastelemaan tilojen rakenteita ja ominaisuuksia. Esimerkiksi, n.R-tila on sekä avoin että suljettu. Tämä ominaisuus jakaa sen muiden joukkojen kanssa, joissa pelkästään tyhjä joukko ja koko tila ovat avoimia ja suljettuja samanaikaisesti. Tämä on keskeinen idea, kun tarkastellaan joukkojen komplementteja ja niiden rajoja.

Avoimien joukkojen esimerkkejä ovat avoimet pallot. Euclidean avaruudessa, erityisesti 2.R × R+:ssa, yläpuolinen taso {(x, y) ∈ 2R: y > 0} on avoin, koska jokaiselle pisteelle P = (x, y) ∈ 2R+ pallon B(P, y/2) voi sijoittaa ylös- tai alaspäin, ja tämä pallo pysyy rajoitetussa alueessa. Tässä tilanteessa, kuten huomautettiin, avoin alue ei sisällä rajoja, mutta ne voivat muodostaa tärkeitä osia, kuten suljetut ja rajapisteet.

Suljettu joukko on puolestaan joukko, joka sisältää kaikki rajapisteensä. Esimerkki tästä on joukko {(x, y) ∈ 2R: y ≤ 0}, joka ei ole avoin, koska piste (0, 0) kuuluu joukkoon, mutta jokainen avoin pallo B(O, r) r > 0 sisältää pisteen (0, r/2), joka ei ole siinä. Tämä havainnollistaa, kuinka suljetut joukot voivat sisältää kaikki rajoituksensa ja niiden ympäristöt.

Topologian perusteet kiteytyvät myös siihen, että avoimet joukot eivät aina ole avoimia naapureitaan kohtaan. Tämä tarkoittaa, että naapurit eivät ole välttämättä avoimia eivätkä suljettuja, kuten neliö, joka sisältää vain kaksi sivua, mutta on naapurusto esimerkiksi sen keskelle. Näin ollen joudumme tarkastelemaan, miten avoimet ja suljetut joukot toimivat keskenään. Proposition 1.2:ssa käsitellään myös avoimien ja suljettujen joukkojen yhdistämistä ja leikkaamista:

  1. Avoimien joukkojen äärettömät unioni on avoin.

  2. Avoimien joukkojen äärellinen leikkaus on avoin.

  3. Suljettujen joukkojen äärettömät leikkaukset ovat suljettuja.

  4. Suljettujen joukkojen äärelliset unionit ovat suljettuja.

Yksi keskeinen käsite topologiassa on myös joukkojen sisäosat, jotka tunnetaan nimellä "interior". Joukko Ω:n sisäosat muodostavat suurimman avoimen joukon, joka on sisällytetty Ω:een. Sisäosat ovat avoimia alueita, jotka löytyvät joukosta, mutta niistä puuttuu rajapisteet. Tämä on tärkeää, koska vaikka joukko Ω voi olla avoin, sen sisäiset alueet voivat olla pienempiä, ja myös niistä voi muodostua merkittäviä alueita tarkastelussa.

Tätä käsitettä tukee myös suljetun alueen käsite. Joukko Ω on suljettu, jos se on pienin suljettu joukko, joka sisältää sen. Suljetut alueet voivat olla vaikeita määritellä, mutta niiden rajapisteet ja rajat tekevät niistä keskeisiä topologian kannalta.

Rajapisteet, jotka merkitään ∂Ω, ovat joukkojen Ω ja Ω komplementtien yhteinen alue. Tällöin rajapisteet voidaan mieltää pisteinä, jotka jakavat avoimen ja suljetun alueen. Yksinkertaisena esimerkkinä voidaan pitää joukkoa B(O, 1), joka on suljettu yksikköpallo. Tällöin rajapisteet muodostavat yksikköpallon rajan, joka tunnetaan myös yksikköympyränä S^n−1.

Joukkojen rajapisteiden määritelmä liittyy myös rajoittamattomiin pisteisiin. Rajapiste voi olla joko rajapiste tai eristetty piste. Rajapisteet ovat sellaisia, että niiden ympäristössä on aina joko joukkoa Ω:n sisällä olevia pisteitä tai niiden ulkopuolelta tulevia pisteitä. Tämä tekee rajapisteistä mielenkiintoisia, koska ne ovat pisteitä, joita ei voi täysin rajata vain yhdelle alueelle.

Erityisesti raja-alueet voivat olla vaikeita määritellä, mutta rajoja voidaan tarkastella myös limiittipisteiden kautta. Limittäispisteet ovat pisteitä, joita voidaan lähestyä arbitrarily pienillä etäisyyksillä. Tämä antaa meille tavan tarkastella rajoja ja niiden vuorovaikutusta joukkojen sisällä.

Eristetyt pisteet ovat päinvastoin sellaisia, joita voidaan tarkastella yksittäisinä, mutta ne eivät ole muiden joukkoon kuuluvien pisteiden lähellä. Tämä auttaa ymmärtämään, kuinka rajapisteet voivat erottua eristettyinä pisteinä joukkojen yhteydessä.

Aiheen syvällisempi tarkastelu tuo esiin myös tiheät joukot. Joukko Ω on tiheä, jos sen suljettu yhdistelmä kattaa koko tilan. Esimerkiksi joukko Q, rationaaliset pisteet, on tiheä reaaliluvuissa. Tiheät joukot ovat erityisen tärkeitä, koska niiden kautta voidaan tarkastella topologisia ominaisuuksia, jotka muuten jäisivät huomaamatta.

Yhteydet ovat myös keskeinen käsite topologiassa. Yhteydet voidaan määritellä sellaisiksi joukoiksi, joita ei voida jakaa kahteen erilliseen osaan. Tämä on erittäin tärkeä käsite, koska se kertoo meille, kuinka tiiviisti eri osat ovat yhteydessä toisiinsa. Yhteydettömät joukot puolestaan voivat jakautua osiin, jolloin ne ovat eri tavalla tarkasteltavissa ja analysoitavissa.