Poincaré-Mirandov izrek

delo diplomskega seminarja

Barbara Lipnik (Avtor), Aleš Vavpetič (Mentor)

Povzetek

Diplomsko delo obravnava posplošitev dobro poznanega izreka v eni dimenziji, in sicer izreka o vmesni vrednosti. Natančneje, njegove posledice, ki zagotovi obstoj ničle funkcije. Ta izrek je dobro poznan tudi kot izrek o ničli. Dijaki se z njim srečajo že v srednji šoli, študentom matematike je že nekaj samoumevnega. Izrek o ničli nam pove, da ima vsaka zvezna funkcija na zaprtem intervalu, če v robnih točkah zavzame nasprotno predznačeni vrednosti, vsaj eno ničlo. Izrek lahko, z nekaterimi modifikacijami, posplošimo na poljubno dimenzijo. V delu dokažemo, da ima vsaka zvezna preslikava na enotski kocki v $n$-dimenzionalnem evklidskem prostoru, pod določenim pogojem, vsaj eno ničlo. Pogoj, ki ga potrebujemo, je, da so komponentne funkcije te preslikave različno predznačene na ustreznih stranicah enotske kocke. V delu opišemo tudi ekvivalenco te posplošitve izreka o ničli oziroma Poincaré-Mirandovega izreka, in Brouwerjevega izreka o negibni točki. Predstavimo diskreten dokaz Poincaré-Mirandovega izreka, kjer si pomagamo s Steinhausovim izrekom o šahovnici. Predstavimo tudi možne posplošitve Poincaré-Mirandovega izreka na nekatere neskončno dimenzionalne prostore.

Ključne besede

matematika;ničle funkcije;negibne točke;preslikave;zveznost;Poincaré-Mirandov izrek;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2021
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL FMF - Fakulteta za matematiko in fiziko
Založnik:	[B. Lipnik]
UDK:	515.1
COBISS:	78598147
Št. ogledov:	824
Št. prenosov:	70
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	The Poincaré-Miranda theorem
Sekundarni povzetek:	This thesis deals with the generalization of a well-known theorem in one dimension, namely the Intermediate value theorem. Specifically, its corollary, which proves that a function has a root. This theorem is well known. Students learn about it already in high school. For math students, this is almost a self-evident result. The theorem says that every continuous function on a closed interval that changes sign at the boundary points has at least one root in this interval. With some modifications, this theorem can be generalized to an arbitrary dimension. We prove that every continuous map on a unit cube in a $n$-dimensional Euclidean space has, under a certain condition, at least one root. The assumption we need is that each component function of the map changes sign on the corresponding sides of the unit cube. Here, we also show the equivalence of this generalization of a one-dimensional theorem, namely the Poincaré-Miranda theorem, and The Brouwer fixed point theorem. We give a discrete proof of the Poincaré-Miranda theorem using the Steinhaus chessboard theorem. We present possible generalizations of the Poincaré-Miranda theorem to certain infinite-dimensional spaces.
Sekundarne ključne besede:	mathematics;roots of a function;fixed points;maps;continuity;Poincaré-Miranda theorem;
Vrsta dela (COBISS):	Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Študijski program:	0
Komentar na gradivo:	Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Matematika - 1. stopnja
Strani:	28 str.
ID:	13525390