Oto tytuły i streszczenia seminariów z 2012 roku:
Monika Naskręcka
Homeomorfizm pomiędzy przestrzenią wielomianów i przestrzenią ich pierwiastków
(Kontynuacja Seminarium z dnia 2012-12-11)
Monika Naskręcka
Homeomorfizm pomiędzy przestrzenią wielomianów i przestrzenią ich pierwiastków
W trakcie seminarium zostanie przedstawiony elementarny, topologiczny dowód twierdzenia o ciągłości pierwiastków zespolonych wielomianu względem jego współczynników. Dla wielomianów unormowanych o współczynnikach zespolonych i dla odpowiednio zdefiniowanych przestrzeni metrycznych twierdzenie to może być wyrażone jako homeomorfizm pomiędzy odpowiadającymi sobie przestrzeniami metrycznymi wielomianów i ich pierwiastków.
Piotr Maćkowiak
Istnienie zer funkcji popytu nadwyżkowego
(Kontynuacja Seminarium z 2012-10-09 i 2012-10-16.)
Piotr Zdanowicz
Podstawowe własności szeregów formalnych
(Kontynuacja Seminarium z 2012-11-20)
Piotr Zdanowicz
Podstawowe własności szeregów formalnych
Piotr Kasprzak
O pewnej klasie funkcji o -ograniczonej wariacji
(Kontynuacja Seminarium z 2012-10-30)
Seminarium odbędzie się o godzinie 8:30 w Sali Posiedzeń Rady Wydziału (A1-33/34)
Justyna Signerska
Analiza modelu neuronu z prawie okresową funkcją wejścia.
Rozważmy układ typu integrate-and-fire , , w którym ciągła dynamika jest zaburzona w następujący sposób: jeśli , tj. jeśli zmienna dynamiczna osiąga pewną ustaloną wartość progową , jest natychmiast ,,resetowana do wartości spoczynkowej i układ ewoluuje od nowa zgodnie z równaniem różniczkowym itd. Pytanie: W jaki sposób opisać szereg czasowy kolejnych resetowań (ang. spikes) jako kolejne iteracje pewnego odwzorowania , zwanego firing map, a ciąg interspike-intervals/ jako ciąg przemieszczeń wzdłuż trajektorii tego odwzorowania? Problem ten pojawia się m.in. w modelowaniu aktywności komórek nerwowych.
Jednakże dotychczas właściwości firing map były badane analitycznie jedynie przy założeniu, że funkcja jest dostatecznie gładka i często także okresowa względem zmiennej . My prezentujemy pełny opis własności firing map dla najpopularniejszych modeli (tzw. Leaky Integrate-and-Fire) oraz (tzw. Perfect Integrator), gdzie funkcja jest jedynie lokalnie całkowalna i/lub prawie okresowa. W szczególności okazuje się, że prawie okresowa w sensie Stepanova daje firing map z przemieszczeniem prawie okresowym w sensie Bohra, co stanowi wstęp do formalnej analizy ciągu interspike-intervals w przypadku prawie okresowym.
Piotr Kasprzak
O pewnej klasie funkcji o -ograniczonej wariacji
Podczas seminarium zdefiniujemy szczególną klasę funkcji o -ograniczonej wariacji, jak również wykażemy pewne własności takich funkcji. Zajmiemy się także badaniem wspomnianej klasy jako takiej; w szczególności udowodnimy, iż przy odpowiednim wyborze normy klasa ta staje się ściśle wypukłą przestrzenią Banacha. Nasze rozważania zilustrowane będą szeregiem nietrywialnych przykładów.
Piotr Kasprzak
O pewnej klasie funkcji o -ograniczonej wariacji
Podczas seminarium zdefiniujemy szczególną klasę funkcji o -ograniczonej wariacji, jak również wykażemy pewne własności takich funkcji. Zajmiemy się także badaniem wspomnianej klasy jako takiej; w szczególności udowodnimy, iż przy odpowiednim wyborze normy klasa ta staje się ściśle wypukłą przestrzenią Banacha. Nasze rozważania zilustrowane będą szeregiem nietrywialnych przykładów.
Piotr Maćkowiak
Istnienie zer funkcji popytu nadwyżkowego
(Kontynuacja Seminarium z 2012-10-09)
Piotr Maćkowiak
Istnienie zer funkcji popytu nadwyżkowego
W trakcie seminarium zostanie przedstawiony dowód istnienia zer dla dowolnej ciągłej funkcji określonej na otwartym sympleksie standardowym o wartościach w przestrzeni, w której ten sympleks jest zawarty i spełniającej: 1) prawo Walrasa; 2) pewien ('prawie' typowy) warunek zachowania blisko brzegu dziedziny; 3) ograniczonej z dołu. Dowód przebiega w dwóch etapach: w pierwszym udowadnia się pewien lemat kombinatoryczny (swoisty odpowiednik lematu Spernera) dla triangulacji Kuhna, a w drugim stosujemy ten lemat do odpowiednio skonstruowanej funkcji o dziedzinie identycznej z dziedziną funkcji popytu nadwyżkowego, ale o wartościach w przestrzeni o zmnijeszonym wymiarze. Dowód zawiera algorytm aproksymacji zer (właściwie: wartości zerowych) z dowolną, ale zadaną z góry dokładnością.
Seminarium Organizacyjne
Piotr Kasprzak
O pewnej klasie funkcji o ograniczonej wariacji
(Kontynuacja seminarium z 2012-04-24)
Michał Burzyński
Alternatywne dowody Twierdzenia Arrowa o Niemożliwości
(Kontynuacja seminarium z 2012-05-08)
Michał Burzyński
Alternatywne dowody Twierdzenia Arrowa o Niemożliwości.
(Kontynuacja seminarium z 2012-05-08)
Michał Burzyński
Alternatywne dowody Twierdzenia Arrowa o Niemożliwości.
Twierdzenie Arrowa o Niemożliwości orzeka, iż w przypadku istnienia co najmniej trzech potencjalnych stanów społecznych, nie istnieje taka społeczna funkcja bogactwa (opisująca preferencje społeczeństwa jako całości przy danych indywidualnych preferencjach), która spełnia cztery warunki: posiada nieograniczoną dziedzinę; silna relacja preferencji społecznych spełnia słabą zasadę Pareto; spełnia własność niezależności nieistotnych alternatyw oraz w społeczeństwie o preferencjach opisanych funkcją nie występuje dyktator. Oryginalny dowód K. Arrowa składa się z dwóch kroków: pokazania istnienia jednostki decydującej oraz udowodnienia, że musi być ona dyktatorem. Pierwszy z alternatywnych dowodów opiera się na wykorzystaniu preferencji Condorcet. Drugi stosuje krok pierwszy z dowodu Arrowa i wskazuje, że wszystkie decyzje społeczne podejmowane są w identyczny sposób. Ostatni dowód ma charakter graficzny.
Piotr Kasprzak
O pewnej klasie funkcji o ograniczonej wariacji
Podczas seminarium zdefiniujemy stosunkowo dużą klasę funkcji o ograniczonej wariacji określonych na otwartym podzbiorze , która w szczególności zawiera przestrzeń Sobolewa . Ponadto podamy związki zachodzące pomiędzy uogólnioną wariacją oraz klasyczną wariacją w sensie Jordana.
Piotr Kasprzak
O kryterium zwartości w przestrzeni funkcji ciągłych i ograniczonych zdefiniowanych na zbiorze niezwartym
Podczas seminarium omówimy pewne kryterium zwartości w przestrzeni funkcji ciągłych i ograniczonych zdefiniowanych na zbiorze niezwartym związane z twierdzeniem Arzeli-Ascolego.
Piotr Maćkowiak
Twierdzenie o punkcie eksplodującym
Przedstawimy oraz udowodnimy twierdzenie o punkcie eksplodującym autorstwa W.Kulpy. Twierdzenie to stanowi, że dla funkcji określonej na zbiorze zwartym X , zawierającym kostkę K o środku w zerze w swoim wnętrzu, o wartościach w X\K i która jest identycznością na brzegu zbioru X, istnieje taki punkt c w X, że w dowolnym jego otoczeniu znajduje się punkt x taki, że wartości f(x) oraz f(c) są położone po przeciwległych ścianach kostki K.
Adam Nawrocki
Zastosowanie ułamków łańcuchowych
Podczas seminarium omówimy podstawowe własności ułamków łańcuchowych.
Następnie przejdziemy do zastosowania tych własności przy wyznaczaniu granicy funkcji:
(Kontynuacja seminarium z 2012-03-13)
Adam Nawrocki
Zastosowanie ułamków łańcuchowych
Podczas seminarium omówimy podstawowe własności ułamków łańcuchowych.
Następnie przejdziemy do zastosowania tych własności przy wyznaczaniu granicy funkcji:
Marcin Wachowiak
Zastosowania twierdzenia Hopfa-Lefschetza o punkcie stałym
(Kontynuacja seminarium nieliniowego z 2011-11-22, 2011-11-29 oraz 2011-12-06.)
Jędrzej Sadowski
Definicje funkcji N-prawie okresowych
(Kontynuacja seminarium nieliniowego z 2011-12-20, 2012-01-03, 2012-02-14 i 2012-02-21.)
Jędrzej Sadowski
Definicje funkcji N-prawie okresowych
(Kontynuacja seminarium nieliniowego z 2011-12-20, 2012-01-03 i 2012-02-14.)
Jędrzej Sadowski
Definicje funkcji N-prawie okresowych
(Kontynuacja seminarium nieliniowego z 2011-12-20 i 2012-01-03.)
Daria Bugajewska
O równaniach różniczkowych i całkowych w przestrzeniach o ograniczonej Lambda-wariacji
(Kontynuacja seminarium nieliniowego z 2012-01-10 i 2012-01-17.)
Daria Bugajewska
O równaniach różniczkowych i całkowych w przestrzeniach o ograniczonej Lambda-wariacji
(Kontynuacja seminarium nieliniowego z 2012-01-10.)
Daria Bugajewska
O równaniach różniczkowych i całkowych w przestrzeniach o ograniczonej Lambda-wariacji
Rozważane będą liniowe równania różniczkowe oraz nieliniowe równania całkowe w przestrzeniach funkcji o ograniczonej Lambda-wariacji. Podane zostaną twierdzenia o istnieniu oraz o istnieniu i jednoznaczności rozwiązań w tych przestrzeniach oraz w podprzestrzeniach funkcji ciągłych o ograniczonej Lambda-wariacji.
Jędrzej Sadowski
Definicje funkcji N-prawie okresowych
(Kontynuacja seminarium nieliniowego z 2011-12-20.)