Poincaré-Mirandov izrek : delo diplomskega seminarja

Lipnik, Barbara (avtor), Vavpetič, Aleš (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: ničle funkcije, negibne točke, preslikave, zveznost, Poincaré-Mirandov izrek
• Vrsta gradiva: Delo diplomskega seminarja/zaključno seminarsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2021
• PID: 20.500.12556/RUL-131151
• UDK: 515.1
• COBISS.SI-ID: 78598147
• Datum objave v RUL: 23.09.2021

LIPNIK, Barbara, 2021, Poincaré-Mirandov izrek : delo diplomskega seminarja [na spletu]. Diplomsko delo. [Dostopano 26 april 2025]. Pridobljeno s: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&id=131151

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: The Poincaré-Miranda theorem

Izvleček

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.

• Ključne besede: roots of a function, fixed points, maps, continuity, Poincaré-Miranda's theorem