toruńska letnia szkoła matematyki

Transkrypt

toruńska letnia szkoła matematyki
TORUŃSKA
LETNIA
SZKOŁA
MATEMATYKI
31 SIERPNIA - 4 WRZEŚNIA 2009
Warsztaty dla młodych naukowców pt.
TORUŃSKA LETNIA SZKOŁA MATEMATYKI
WSPÓŁCZESNE TRENDY W MATEMATYCE
31 SIERPNIA - 4 WRZEŚNIA 2009
organizatorzy
Koło Naukowe Matematyków Uniwersytetu Mikołaja Kopernika
w Toruniu
oraz
Wydziałowa Rada Samorządu Studenckiego Wydziału
Matematyki i Informatyki UMK
Skład w systemie LATEX: Autorzy
Nakład: 50 sztuk
c Maciej Karpicz & Krzysztof Rykaczewski
Toruń 2009
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Spis treści
Użyteczne informacje
4
Program warsztatów
5
Tytuły i streszczenia/programy kursów na TLSM
7
Tytuły i streszczenia referatów na TLSM
11
Lista uczestników
15
Organizatorzy i kontakt
17
Mapa
19
Schemat wydziału
20
Instrukcje dla autorów
20
Sponsorzy
21
3
KNM UMK
Użyteczne informacje
Oficjalnym językiem warsztatów będzie język polski.
Biuro konferencji mieści się na Wydziale Matematyki i Informatyki UMK w pokoju
numer 224.
Rejestracja uczestników będzie miała miejsce 30. sierpnia w godzinach 15:00-20:00 w
Biurze konferencji oraz w poniedziałek 31. sierpnia w godzinach 8:00-8:45.
Uwaga: Noclegi płatne na miejscu, w dniu przyjazdu. Wszyscy studenci zakwaterowani
są w dniach od 30 sierpnia do 5 września (od niedzieli do soboty) w Domie Studenckim
nr 2, ul. A. Mickiewicza 6/8, tel. (56) 612-11-80. Schemtyczny plan Torunia znajduje się
na stronie 18.
Obiady i śniadania będą wydawane w dniach od 31 sierpnia do 4 września (od poniedziałku do piątku) w Stołówce przy Akademiku nr 6 (ul. Słowackiego 1/3) w godzinach
14.00-16.00. Śniadania są w godzinach 7:30-8:30 w tym samym miejscu. Podczas rejestracji
zostaną wydane identyfikatory, które będą umożliwiały do korzystania z posiłków.
Jeśli do prezentacji potrzebna jest pomoc multimedialna w postaci rzutnika, wyświetlacza
lub innej, prosimy o wcześniejsze zwrócenie na to uwagi organizatorom.
Spotkanie dla autorów plakatów odbędzie się we wtorek o godzinie 18:15. Czas ten będzie
przeznaczony na przygotowanie tablic z posterami.
W trakcie warsztatów będzie istniała możliwość skorzystania z sali komputerowej (obok
sali S9). Będzie ona otwarta w przerwie obiadowej i przez 2 godziny po zakończeniu
wykładów. Niestety nie ma możliwości skorzystania z wireless-a.
W poniedziałkowy wieczór zapraszamy na wspólne wyjście do pubu w celach bliższego się
poznania - zbiórka przed pomnikiem Kopernika o godzinie 20:45. We wtorek lub czwartek
(szczegóły zostaną podane później) w ramach zacieśniania nowych znajomości planowane
jest ognisko w ruinach Zamku Dybowskiego na prawym brzegu Wisły - zbiórka przed
Wydziałem Matematyki i Informatyki.
W środę (02.09.2009) jest planowane zwiedzanie Piwnic pod Toruniem. Obserwatorium Astronomiczne UMK jest ośrodkiem służącym obserwacji kosmosu, badaniom naukowym oraz popularyzacji
wiedzy o wszechświecie. Znajdują się tam m.in.: teleskop SchmidtaCassegraina o średnicy 90 cm, teleskop Cassegraina o średnicy 60 cm.
Ponadto znajdują się tam dwa radioteleskopy będące częścią światowego systemu VLBI i pracujące w międzynarodowej sieci obserwacji
kosmosu: mniejszy z nich, o średnicy 15 m został oddany do użytku
w 1979, większy o średnicy 32 m w 1994 (jest to największy radioteleskop w Europie Środkowej). Liczba miejsc ograniczona!
W późniejszym czasie na stronie zostaną umieszczone zdjęcia z warsztatów. Zachęcamy
4
Toruńska Letnia Szkoła Matematyki 
KNM UMK
też do przesyłania własnych.
Na tradycyjne spotkanie pożegnalne zapraszamy w piątek wieczorem, około godziny
19:00 do sali S4 na WMiI. Będzie to okazja, by podsumować miniony tydzień, obejrzeć
zdjęcia i porozmawiać.
Program warsztatów
Poruszone zostaną zagadnienia z wielu dziedzin matematyki teoretycznej, a także jej
zastosowań. Wysłuchamy referatów wygłoszonych przez pracowników naukowych oraz
studentów z polskich i zagranicznych ośrodków naukowych. Opiekę merytoryczną nad
Warsztatami będzie sprawował Dziekan Wydziału Matematyki i Informatyki Uniwersytetu Mikołaja Kopernika. Do udziału w warsztatach zostali zaproszeni następujący wykładowcy:
• prof. dr hab. Taras Banakh (Lwów)
• dr Zdzisław Dzedzej (Gdańsk)
• dr hab. Stanisław Kasjan, prof. UMK (Toruń)
• dr hab. Andrzej Rozkosz, prof. UMK (Toruń)
• dr hab. Piotr Zakrzewski, prof. UW (Warszawa)
Każdy z zaproszonych wykładowców wygłosi najpierw wykład plenarny, wprowadzający
w zaproponowaną przez siebie tematykę, a następnie 3- lub 4-godzinny kurs (1 godzina/dzień), szczegółowo omawiający wybrane zagadnienia.
Wszystkie wykłady plenarne i kursowe odbywać się będą w sali S9 (drugie piętro).
Referaty w sesjach równoległych odbywać się będą w sali S9 i sali S5 (pierwsze piętro).
Natomiast sesja posterowa odbędzie się w holu WMiI.
Mamy nadzieje, że Warsztaty pozwolą nam utwierdzić się w przekonaniu, że matematyka
jest nie tylko piękna, ale także przydatna w wielu dziedzinach życia człowieka. Wierzymy
także, że atmosfera Torunia przyczyni się do nawiązania nowych znajomości, niekoniecznie
naukowych :-)
Poniżej podajemy plan wykładów na wszystkie dni Warsztatów. Uwaga: wszelkie zmiany
z planie i inne ważne informacje będą na bierząco wywieszane na tablicy ogłoszeń.
Poniedziałek, 31.08.2009
8:45-9:00, Rozpoczęcie warsztatów
9:00-10:30, Taras Banakh, Topology and Asymptology: two faces of Geometry
10:30-11:00, Przerwa kawowa
11:00-12:30, Stanisław Kasjan, Kołczany, reprezentacje i nakrycia
12:45-14:15, Piotr Zakrzewski, Teoria mnogości - twierdzenia podziałowe
5
KNM UMK
14:15-15:45, Przerwa obiadowa
15:45-17:15, Zdzisław Dzedzej, Teoria Nielsena punktów stałych
17:15-17:45, Przerwa kawowa
17:45-19:15, Andrzej Rozkosz, Metody probabilistyczne w równaniach różniczkowych cząstkowych
Wtorek, 01.09.2009
8:30-9:30, Taras Banakh, Topology and Asymptology: two faces of Geometry
9:30-10:00, Przerwa kawowa
10:00-11:00, Andrzej Rozkosz, Metody probabilistyczne w równaniach różniczkowych cząstkowych
11:15-12:15, Stanisław Kasjan, Kołczany, reprezentacje i nakrycia
12:30-13:30, Piotr Zakrzewski, Teoria mnogości - twierdzenia podziałowe
13:30-15:00, Przerwa obiadowa
15:00-16:00, Zdzisław Dzedzej, Teoria Nielsena punktów stałych
16:00-16:30, Przerwa kawowa
(
Ievgen Lustenko, Small system of generators, S9
16:30-17:00
Piotr Idzik, Zbiory niemierzalne a równanie Cauchy’ego, S5
17:05-17:50, Akira Kono, A characterization of the Euler number
Środa, 02.09.2009
8:30-9:30, Zdzisław Dzedzej, Teoria Nielsena punktów stałych
9:30-10:00, Przerwa kawowa
10:00-11:00, Stanisław Kasjan, Kołczany, reprezentacje i nakrycia
11:15-12:15, Piotr Zakrzewski, Teoria mnogości - twierdzenia podziałowe
12:30-13:30, Andrzej Rozkosz, Metody probabilistyczne w równaniach różniczkowych cząstkowych
13:30-15:00, Przerwa obiadowa
15:00, Wycieczka do Piwnic
Czwartek, 03.09.2009
8:30-9:30, Taras Banakh, Topology and Asymptology: two faces of Geometry
9:30-10:00, Przerwa kawowa
10:00-11:00, Piotr Zakrzewski, Teoria mnogości - twierdzenia podziałowe
11:15-12:15, Zdzisław Dzedzej, Teoria Nielsena punktów stałych
12:30-13:30, Stanisław Kasjan, Kołczany, reprezentacje i nakrycia
13:30-15:00, Przerwa obiadowa
15:00-16:00, Andrzej Rozkosz, Metody probabilistyczne w równaniach różniczkowych cząstkowych
16:00-16:30, Przerwa kawowa
(
Jolanta Marzec, Wprowadzenie do teorii ciał uporządkowanych, S5
16:30-17:00
Tomasz Tkocz, Nierówności macierzowe, S9
6
Toruńska Letnia Szkoła Matematyki 
(
17:05-17:35
KNM UMK
Karol Pryszczepko, O pierścieniach filialnych, S9
Adam Kwela, Porzadek Rudin-Keislera na zbiorze ultrafiltrów, S5
Piątek, 04.09.2009
8:30-9:30, Taras Banakh, Topology and Asymptology: two faces of Geometry
9:30-10:00, Przerwa kawowa
10:00-11:00, Andrzej Rozkosz, Metody probabilistyczne w równaniach różniczkowych cząstkowych
11:15-12:15, Piotr Zakrzewski, Teoria mnogości - twierdzenia podziałowe
12:30-13:30, Zdzisław Dzedzej, Teoria Nielsena punktów stałych
13:30-15:00, Przerwa obiadowa
(
Liuba Rubel, S5
15:00-15:30
Michał Kukieła, Bijekcje i izomorfizmy, S9
(
Justyna Signerska, Liczba obrotu a dynamika odwzorowań okręgu, S9
Paweł Barbarski, S5
16:05-16:30, Przerwa kawowa
(
Michał Krzemiński, Jak tasować karty, S5
16:30-17:00
Paweł Wiśniewski, Finitarność – skończoność z teorio-kategoryjnego punktu widzenia, S
15:35-16:05
(
17:05-17:35
Zbigniew Błaszczyk, Topological spherical space form problem: krajobraz po bitwie, S9
Nikodem Mrożek, Klasy borelowskie ideałów, S5
Tytuły i streszczenia/programy kursów na TLSM
Topology and Asymptology: two faces of Geometry
prof. dr hab. Taras Banakh
Streszczenie:
(a) The subject of Geometry. The structure of geometric sciences: isometric geometry,
asymptotic geometry, uniform topology, topology, asymptotic topology, bi-uniform
topology.
(b) Ultrametric spaces and spaces of dimension zero in various geometric categories.
Basic examples: Cantor and anti-Cantor sets, Baire and anti-Baire spaces. Their
characterizations in various categories.
(c) Homogeneous (ultra)metric spaces and their classification in various geometric categories.
(d) Some open problems with comments.
Teoria Nielsena punktów stałych
dr hab. Zdzisław Dzedzej
7
KNM UMK
Streszczenie:
(a) Liczba Lefschetza i twierdzenie Lefschetza o punkcie stałym.
(b) Lokalny indeks punktów stałych.
(c) Relacja Nielsena i liczba Nielsena.
(d) Klasy Nielsena i nakrycia uniwersalne - relacja Reidemeistera.
(e) Twierdzenie Hopfa o skończoności zbioru punktów stałych.
(f) Twierdzenie Weckena o minimalności.
(g) O obliczaniu liczby Nielsena - przestrzenie Jianga i grupy Jianga.
(h) Odwzorowania torusów.
(i) Odwzorowania włókniste - ”naiwna” formuła produktowa.
(j) Różne wersje ogólniejsze teorii Nielsena
• relatywna liczba Nielsena
• koincydencje
• pierwiastki
• przecięcia
• odwzorowania wielowartościowe
• odwzorowania ekwiwariantne
(k) Teoria Nielsena i punkty okresowe.
(l) Przykłady zastosowań.
Z uwagi na ograniczenia czasowe punkty od (g) w dół potraktujemy raczej przeglądowo,
podając odnośniki do literatury. Kolejność niekoniecznie chronologiczna. Pierwszy wykład
będzie wprowadzająco- przeglądowy.
Wybrane fragmenty p. (c)-(f) dowodzone będą na tyle szczegółowo, aby dać słuchaczom
podstawy zrozumienia teorii. Punkty (a), (b) dołączono, bo spodziewamy się nierównego
przygotowania słuchaczy z topologii.
Wybrane pozycje literatury:
• R. Brown, The Lefschetz Fixed Point Theorem, Scott- Foresman, 1971,
• A. Granas, J. Dugundji, Fixed Point Theory, Springer 2003,
• B. Jiang, Lectures on Nielsen Fixed Point Theory, Contemp. Math. 14, AMS 1983,
8
Toruńska Letnia Szkoła Matematyki 
KNM UMK
• J. Jezierski, W. Marzantowicz, Homotopy Methods in Topological Fixed and Periodic
Point Theory, Springer, 2006.
Kołczany, reprezentacje i nakrycia
dr hab. Stanisław Kasjan, prof. UMK
Streszczenie: Wykłady poświęcone będą teorii reprezentacji algebr – działowi algebry od
lat rozwijanemu w Toruniu. Przedstawię pewne ważne pojęcia, sformułuję główne problemy teorii i opowiem o niektórych ważnych technikach badawczych, ze szczególnym
uwzględnieniem mającej topologiczną genezę metody nakryć, również rozwijanej między
innymi przez toruńskich algebraików.
A characterization of the Euler number
)
prof. Akira Kono (
Streszczenie: To be announced.
Metody probabilistyczne w równaniach różniczkowych cząstkowych
dr hab. Andrzej Rozkosz, prof. UMK
Streszczenie: Począwszy od lat czterdziestych ubiegłego wieku metody probabilistyczne
są szeroko i z sukcesem stosowane do badania równań różniczkowych cząstkowych drugiego
rzędu typu parbolicznego i eliptycznego. Celem wykładu będzie przedstawienie klasycznych już wzorów probabilistycznych na rozwiązania problemów Cauchy’ego, Dirichleta
i Neumanna dla równania przewodnictwa ciepła, podanie zastosowań przedstawionych
wzorów oraz podanie informacji o niektórych współczesnych kierunkach rozwoju teorii.
Wykłady będą miały charakter elementarny. Nie będę zakładał u słuchaczy ani znajomości teorii równań różniczkowych cząstkowych, ani elementów analizy stochastycznej
(przydatna będzie jednak znajomość podstawowych pojęć teorii prawdopodobieństwa, w
tym pojęcia martyngału). Skutkiem tego, niestety, nie będę w stanie podać dowodów
najważniejszych faktów, ale będę się starał przeliczyć pewną liczbę przykładów.
Program wykładu:
(a) Sformułowanie podstawowych problemów brzegowo-początkowych dla równań różniczkowych cząstkowych.
(b) Proces Wienera. Przybliżenie procesu Wienera przez błądzenie losowe. Wariacja
kwadratowa procesu Wienera.
(c) Całka stochastyczna Itô (szkic konstrukcji). Wzór Itô.
9
KNM UMK
(d) Wzory Kaca-Feynmana na rozwiązanie problemów Cauchy’ego i Dirichleta dla równania przewodnictwa ciepła. Informacja o reprezentacji rozwiązań problemu Neumanna.
(e) Przykłady zastosowań wzorów probabilistycznych (jednoznaczność rozwiązań, metody Monte Carlo przybliżania rozwiązań).
(f) Informacja o możliwym rozszerzeniu teorii (równania o zmiennych współczynnikach,
równania półliniowe i quasi-liniowe).
Teoria mnogości - twierdzenia podziałowe
dr hab. Piotr Zakrzewski, prof. UW
Streszczenie: Ideę twierdzeń podziałowych dobrze oddaje następujący cytat z monografii
W. Lipskiego i W. Marka ”Analiza kombinatoryczna”: ” jeśli ’duży’ zbiór podzielimy na
’niewielką’ liczbę części, to jedna z tych części będzie ’spora’ ”. Najprostszym tego rodzaju
faktem jest zasada szufladkowa Dirichleta, innym – twierdzenie Ramseya, dobrze znane
w kombinatoryce i teorii grafów.
W teorii mnogości ważne miejsce zajmują zagadnienia związane z rozmaitymi uogólnieniami tych dwóch faktów. Celem moich wykładów będzie przedstawienie niektórych spośród nich. Przykładowe problemy pochodzić będą zarówno z kombinatoryki nieskończonej
(nieskończone twierdzenie Ramseya i próby jego uogólnienia na zbiory nieprzeliczalne, np.
twierdzenie Erdősa-Rado), jak i z deskryptywnej teorii mnogości, gdzie od kawałków, tworzących podział, wymaga się np. by były zbiorami borelowskimi (twierdzenia Galvina i
Galvina-Prikrego).
10
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Tytuły i streszczenia referatów na TLSM
Paweł Barbarski
Streszczenie: W dowodach niezależności zdań teorii mnogości częstokroć wykorzystuje
się metody teorii modeli. Przykładem jest forsing, który polega na rozszerzaniu zadanego
modelu ZFC do modelu ZFC i rozważanego zdania. W referacie przedstawię, w jaki sposób
można wyrazić dowody niezależności bez odwoływania się do modeli w metateorii.
Topological spherical space form problem: krajobraz po bitwie
Zbigniew Błaszczyk
Streszczenie: Hipoteza: Niech G będzie grupą skończoną o randze równej r. Wówczas G
działa w sposób wolny na skończonym CW–kompleksie o typie homotopijnym produktu
k sfer wtedy i tylko wtedy, gdy r ¬ k.
Ta elegancka hipoteza narodziła się z rozwiązania tzw. spherical space form problem: które grupy skończone działają w sposób wolny na sferach? Przypomnimy odpowiedź (i jej
niebanalną historię), a następnie bliżej przyjrzymy się wspomnianej hipotezie i wynikom,
które wskazują na jej prawdziwość.
Zbiory niemierzalne a równanie Cauchy’ego
Piotr Idzik
Streszczenie: Podamy konstrukcję zbiorów niemierzalnych w sensie Lebesgue’a w oparciu
o nieciągłe rozwiązania równania Cauchy’ego.
Jak tasować karty
Michał Krzemiński
Streszczenie: Celem referatu będzie przedstawienie matematycznego opisu tasowania
kart. Na początku przybliżę kilka popularnych metod tasowania, a następnie sprecyzuję
określenie dobrze potasowanych kart. Wprowadzę pewną miarę pomiędzy tasowaniami,
tzn. dla spaceru losowego generowanego przez kolejne tasowania określę miarę losowości
rozkładu prawdopodobieństwa opisującego kolejność kart. Główną ideą będzie pokazanie
zaskakujących własności procesu tasowania.
Bijekcje i izomorfizmy
Michał Kukieła
11
KNM UMK
Streszczenie: Przedstawione zostaną pewne problemy i wyniki związane z zagadnieniem
”Kiedy ciągła bijekcja między przestrzeniami topologicznymi jest izomorfizmem?” oraz
analogicznym zagadnieniem sformułowanym w prostszej sytuacji, gdy zamiast przestrzeni
topologicznych rozważamy zbiory częściowo uporządkowane.
Porządek Rudin-Keislera na zbiorze ultrafiltrów
Adam Kwela
Streszczenie: Podczas referatu zostanie zdefiniowana relacja częściowego porządku na
zbiorze ultrafiltrów nazywana porządkiem Rudin-Keislera. W dalszej części zostaną przedstawione niektóre wybrane zastosowania tego porządku.
Small system of generators
Ievgen Lutsenko
Streszczenie: For a group G we denote by PG and FG the families of all subsets and all
finite subsets of G. A subset A of an infinite group G with the identity e is said to be
• left (right) thin, if gA ∩ A (Ag ∩ A) is finite for every g ∈ G, g 6= e;
• left (right) k-thin for k ∈ N, if |gA ∩ A| 6 k (|Ag ∩ A| 6 k) for each g ∈ G, g 6= e;
• thin (k-thin), if A is left and right thin (k-thin).
Theorem 0.1. Every infinite group can be generated by some 2-thin subset.
Theorem 0.2. Let G be an infinite group without elements of order 2. If G is Abelian or
periodic, then G can be generated by 1-thin subset.
Theorem 0.3. For every infinite group G there exists 4-thin subset T such that G =
T T −1 .
Theorem 0.4. Let for an infinite group G one of the following statement holds:
• the group G is Abelian;
• the subset {g 2 : g ∈ G} is finite;
• for every g ∈ G the subset {f ∈ G : f 2 = g} is finite.
Then there exists a left 2-thin subset T such that G = T T −1 .
Theorem 0.5. For every infinite group G without elements of even order, there exists a
right 3-thin subset T such that G = T T −1 .
12
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Theorem 0.6. For every infinite group G there exists 6-thin subset T such that G = T T .
Wprowadzenie do teorii ciał uporządkowanych
Jolanta Marzec
Streszczenie: Celem tego referatu będzie znalezienie warunku koniecznego i wystarczającego, by na ciele K dało się zdefiniować porządek. Zaczerpniemy tu z teorii ciał formalnie
rzeczywistych oraz rzeczywiście domkniętych. Dodatkowo podamy przykład ciała mającego więcej niż jeden (bo aż nieskończenie wiele!) porządków.
Klasy borelowskie ideałów
Nikodem Mrożek
Streszczenie: Interesować nas będą tylko ideały (w sensie mnogościowym) na zbiorach
przeliczlnych. Przedstawimy kilka przykładów takich ideałów a następnie postaramy się
umieścić je na właściwych szczeblach hierarchii borelowskiej.
O pierścieniach filialnych
Karol Pryszczepko
Streszczenie: Jeżeli każdy podpierścień osiągalny w pierścieniu R jest ideałem w R, to
taki pierścień R nazywamy filialnym. Problem opisu pierścieni filialnych postawił F. Szasz
w monografii ”Radical of rings” [7]. Celem referatu jest podanie przykładów, własności i
pewnych charakteryzacji pierścieni filialnych. Literatura:
[1] R.R. Andruszkiewicz, E.R. Puczyłowski, ”On filial rings.” Portugal. Math. 45, (1988),
139–149.
[2] R.R. Andruszkiewicz, ”The classification of integral domains in which the relation of
being an ideal is transitive.” Comm. Algebra. 31, (2003), 2067–2093.
[3] R.R. Andruszkiewicz, M. Sobolewska, ”Commutative reduced filial rings.” Algebra
and Discrete Math. 3, (2007), 18–26.
[4] G. Ehrlich, ”Filial rings.” Portugal. Math. 42, (1983/1984), 185–194.
[5] M. Filipowicz, E.R. Puczyłowski, ”Left filial rings.” Algebra Colloq. 11, (3) (2004),
335–344.
[6] M. Filipowicz, E.R. Puczyłowski, ”On filial and left filial rings.” Publ. Math. Debrecen.
66, (3-4) (2005), 257–267.
[7] F. Szasz, ”Radical of rings.” Akademiami Kiado, Budapest 1981.
13
KNM UMK
Liuba Rubel
Streszczenie: Diffusion processes on a half-line, generated by a given differential operators and boundary conditions: returning in the middle of area by jumps. The case of finite
measure jumps.
Liczba obrotu a dynamika odwzorowań okręgu
Justyna Signerska
Streszczenie: Jednym z podstawowych narzędzi charakteryzujących odwzorowania okręgu jest tzw. liczba obrotu. W referacie omówię główne własności liczby obrotu dla homeomorfizmów okręgu takie jak ciągła i „monotoniczna” zależność od parametrów oraz
związki liczby obrotu ze strukturą orbitową i topologiczną równoważnością między homeomorfizmami/ dyffeomorfizmami okręgu a obrotami na S 1 (tw. Poincarego o klasyfikacji
homeomorfizmów okręgu, tw. Denjoy’a, diofantyczna liczba obrotu). Zobaczymy jak przydatne jest to pozornie „proste” narzędzie.
Nierówności macierzowe
Tomasz Tkocz
Streszczenie: W fizyce statystycznej kluczowe znaczenie ma tzw. suma statystyczna, która jest postaci ”tr eA , gdzie A jest pewną macierzą n × n o zespolonych współczynnikach,
samosprzężoną. Bardzo ważne dla teorii są jej oszacowania (z góry i z dołu). Motywuje
to interesujące i niebanalne matematyczne problemy, których rozwiązania prowadzą do
wielu subtelnych nierówności z macierzami, ich śladami i eksponentami w roli głównej. W
referacie zostanie omówione kilka podstawowych nierówności macierzowych,
m. in. bardzo
elegancka nierówność Goldena - Thompsona tr eA+B ¬ tr eA eB s. Ciekawe jest też to,
że powyższe wyniki są dosyć świeże — np. nierówność Goldena - Thompsona pochodzi
z prac z lat 60’ ubiegłego wieku. Może znajdą one swoje zastosowania także poza fizyką
statystyczną, np. w rachunku prawdopodobieństwa?
Finitarność – skończoność z teorio-kategoryjnego punktu widzenia
Paweł Wiśniewski
Streszczenie: Przedstawimy pewne szczególne kogranice – skierowane i filtrowane, które
pozwolą nam scharakteryzować zbiory skończone za pomocą języka teorii kategorii. Wykorzystując tą charakteryzację zdefiniujemy obiekty finitarne (finitarnie przedstawialne).
Następnie zastanowimy się co oznacza to pojęcie w kategoriach rożnych od kategorii zbiorów. Przedstawimy też definicje i przykłady pokrewne takie jak np.: funktor finitarny,
kategoria lokalnie finitarnie przedstawialna.
14
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Lista uczestników
Mykola Babyak, Natioanal University of Lv́iv
Paweł Barbarski, Uniwersytet Gdański
Renata Barteczka, Politechnika Wrocławska
Paweł Bilski, Uniwersytet Warminsko Mazurski w Olsztynie
Natalia Brygas, Uniwersytet Lwowski
Zbigniew Błaszczyk, Uniwersytet Mikołaja Kopernika
Ostap Chervak,
Maja Czoków, Uniwersytet Mikołaja Kopernika
Aneta Cwalińska, Uniwersytet Mikołaja Kopernika
Oles Dobosevych, Ivan Franko Nationa University of Lv́iv
Magdalena Dąbkowska, Uniwersytet Mikołaja Kopernika
Agata Grudzka, Uniwersytet Mikołaja Kopernika
Marcin Grzecza, Uniwersytet Mikołaja Kopernika
Małgorzata Hryniewicka, Uniwersytet w Białymstoku
Piotr Idzik, Uniwersytet Śląski
Tomasz Janiczko, Akademia Górniczo-Hutnicza
Małgorzata Jastrzębska, Uniwersytet Warszawski
Tomasz Jędrzejak, Uniwersytet Szczeciński
Maciej Karpicz, Uniwersytet Mikołaja Kopernika
Renata Karwowska, Uniwersytet w Białymstoku
Marta Kielas, Uniwersytet Gdański
Katarzyna Kowol, Politechnika Wrocławska
Michał Krzemiński, Politechnika Gdańska
Michał Kukieła, Uniwersytet Mikołaja Kopernika
Adam Kwela, Uniwersytet Gdański
Łukasz Leśko, Politechnika Wrocławska
Ievgen Lutsenko, Kyiv National University
Nadiya Lyaskovska, Ivan Franko National university of Lv́iv
Michał Łasica, Uniwersytet Warszawski
Katarzyna Macieszczak, Uniwersytet Warszawski
Jolanta Marzec, Uniwersytet Śląski
Barbara Małek, Uniwersytet Śląski
Nikodem Mrożek, Uniwersytet Gdański
Grzegorz Pastuszak, Uniwersytet Mikołaja Kopernika
Agnieszka Perduta, Uniwersytet Mikołaja Kopernika
Monika Pietrzak, UTP w Bydgoszczy
Oles Potiatynyk, Ivan Franko National University of Lv́iv
Nataliya Pronska, Uniwersytet Lwowski
Karol Pryszczepko, Uniwersytet w Białymstoku
Janusz Przewocki,
Krzysztof Pupka, Politechnika Rzeszowska
Anna Justyna Rejrat, Uniwersytet w Białymstoku
Liuba Rubel, Uniwersytet Iwana Franki (Lwow)
Krzysztof Rykaczewski, Uniwersytet Mikołaja Kopernika
Łukasz Siewierski, Uniwersytet Mikołaja Kopernika
Justyna Signerska, Politechnika Gdańska
15
KNM UMK
Adam Skowyrski, Uniwersytet Mikołaja Kopernika
Natalia Soja, Uniwersytet Mikołaja Kopernika
Marcin Spryszyński, Uniwersytet Mikołaja Kopernika
Maciej Starostka, Politechnika Gdańska
Rafał Szefler, Uniwersytet Mikołaja Kopernika
Tomasz Tkocz, Uniwersytet Warszawski
Paweł Wiśniewski, Uniwersytet Mikołaja Kopernika
Piotr Woronowicz, Uniwersytet Mikołaja Kopernika
jjj
16
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Organizatorzy i kontakt
Koło Naukowe Matematyków UMK
ul. Chopina 12/18, 87-100 Toruń
e-mail: [email protected]
strona internetowa: http://knm.mat.umk.pl/
pokój: F004
Wydziałowa Rada Samorządu Studenckiego Wydziału Matematyki i Informatyki UMK
ul. Chopina 12/18, 87-100 Toruń
e-mail: [email protected]
strona internetowa: http://samorzad.mat.uni.torun.pl/
telefon: (56) 611 34 92
pokój: F304
W szczególności:
• Zbigniew Błaszczyk
• Krzysztof Rykaczewski
• Maciej Karpicz
• Łukasz Siewierski
• Sylwia Kosińska
• Michał Kukieła
• Anna Stawska
• Grzegorz Pastuszak
• Paweł Wiśniewski
• Agnieszka Perduta
• Piotr Woronowicz
W sprawie konferencji prosimy o kontakt na adres e-mail: [email protected].
17
Dojazd do centrum
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Mapa
Dojazd:
• do akademików: z dworca można wziąć autobus MZK nr 12, 14, 22, 25 lub 27,
które wyjeżdżają spod Dworca Głównego, i wysiąść na Placu Rapackiego (drugi
przystanek). Następnie pieszo trzeba przemaszerować jakieś 10 minut przez park.
Po drugiej stronie będą znajdować się akademiki.
• do Hotelu Polonia: autobusem nr 27 (należy wysiąść na Placu Teatralnym - trzeci
przystanek)
Szczegółowe informacje na stronie http://www.mzk.torun.pl/.
Pozostałe objaśnienia dotyczące mapy:
Wydział Matematyki i Informatyki
Akademiki i stołówka
Ognisko
Pub „Koci ogon”
Ośrodek Informacji Turystycznej w Toruniu
Rynek Staromiejski 25, 87-100 Toruń
tel. (+48 56) 621 09 31, 651 08 12
e-mail: [email protected]
strona internetowa: www.it.torun.pl
19
KNM UMK
Schemat wydziału
Sala wykładowa S9
Sala wykładowa S5
Tu są przerwy kawowe
Instrukcje dla autorów
Planowana jest publikacja pokonferencyjna przez Wydawnictwo UMK. Ostateczne wersje
dokumentów oraz wszystkie informacje muszą zostać wysłane do 01.11.2009. Przeczytaj
uważnie poniższe informacje:
• pliki proszę wysyłać na adres [email protected] lub [email protected]
• główny plik dokumentu powinien być w formacie LATEX-a
• autor musi wypełnić oraz odesłać formularz zgody na wydrukowanie publikacji;
można to zrobić listownie lub faxem; plik znajduje się na stronie warsztatów
• w czasie pisania najlepiej użyć klasy dokumentu, która znajduje się na naszej stronie
internetowej
• można też samemu skompilować plik do ostatecznej wersji PDF (używając naszej
klasy), ale proszę upewnić się wtedy, że wszystkie czcionki zostały załączone; można
to zrobić używając następujących komend
latex paper.tex
dvips paper.dvi -o paper.ps -t letter -Ppdf -G0
ps2pdf paper.ps
Argumenty do komendy dvips zapewnią, że czcionki zostały załączone do dokumentu wyprodukowanego przez ps2pdf.
• sprawdź: zanim wyślesz dokument otwórz do w Acrobat Readerze. W menu „File”
pod opcją „Document Properties” znajdziesz informacje na temat „Fonts”. Twój
dokument powinien zawierać czcionki Type-1.
20
Toruńska Letnia Szkoła Matematyki 
KNM UMK
Sponsorzy
Naszymi głównymi sponsorami byli
Wydział Matematyki
i Informatyki
Rektor UMK
Patronat honorowy
Dziekan Wydziału Matematyki i informatyki, JM prof. dr hab. Andrzej Rozkosz.
21
oło Naukowe Matematyków UMK działa już od czterech lat - decyzją Prorektora
ds. Dydaktyki prof. dra hab. Andrzeja Radzimińskiego zostało zarejestrowane w
Rejestrze Uczelnianych Organizacji Studenckich Uniwersytetu Mikołaja Kopernika W
Toruniu dnia 21 czerwca 2005 roku. W trakcie swej krótkiej historii (i mimo niewielkiej liczby członków), KNM od początku bierze intensywny udział w życiu Uczelni
organizując cykle wykładów, seminariów, a także przygotowując wykłady na Toruński Festiwal Nauki i Sztuki. Ponadto Koło szybko nawiązało współpracę z Kołem
Naukowym Matematyków Uniwersytetu Gdańskiego oraz Naukowym Koło Matematyki studentów Politechniki Gdańskiej, której owocem są Matematyczne Warsztaty
KaeNeMów, odbywające się średnio 2 razy w roku raz na Kujawach raz na Pomorzu.
K