Az általános relativitáselmélet logikai alapjai
|
|
- Fruzsina Kelemenné
- 7 évvel ezelőtt
- Látták:
Átírás
1 Intro SpecRel AccRel GenRel Az általános relativitáselmélet logikai alapjai MTA Rényi Intézet/NKE GR100 konferencia,
2 Intro SpecRel AccRel GenRel S.R. G.R.
3 Intro SpecRel AccRel GenRel S.R. G.R. SpecRel GenRel
4 Intro SpecRel AccRel GenRel S.R. G.R. SpecRel AccRel GenRel
5 Intro SpecRel AccRel GenRel Szóhasználat (változás) Euklidesz/Einstein/... Hilbert/Tarski/... Posztulátumok Axiómák Axiómák
6 Intro SpecRel AccRel GenRel Einstein eredeti posztulátumai (1905): Relativitás elve: A fizikai törvények ugyanazok minden inerciális megfigyelő számára. Fény posztulátum: Van olyan inerciális megfigyelő, aki számára a fényjelek minden irányban ugyanakkora sebességgel terjednek.
7 Intro SpecRel AccRel GenRel Einstein eredeti posztulátumai (1905): Relativitás elve: A fizikai törvények ugyanazok minden inerciális megfigyelő számára. Fény posztulátum: Van olyan inerciális megfigyelő, aki számára a fényjelek minden irányban ugyanakkora sebességgel terjednek. Köv.: A fénysebesség minden inerciális megfigyelő számára minden irányban ugyanakkora.
8 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek SpecRel
9 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Logikai nyelv: { B, IOb, Ph, Q, +,,, W } B W Q, +,,, IOb Ph B Fizikai objektumok (próbatestek) IOb Inerciális megfigyelők Ph Fényjelek Q Mennyiségek (idő, távolság) +, és összeadás, szorzás és rendezés W Világképreláció (6 argumentumú reláció)
10 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek W(m, b, x, y, z, t) Az m megfigyelő a b próbatestet az x, y, z, t téridő pontban koordinátázza. m t b b x, y, z, t x y A b próbatest világvonala az m megfigyelő szerint: wline m (b) = { x, y, z, t Q 4 : W(m, b, x, y, z, t)} Az m megfigyelő szerint az x, y, z, t pontban látott esemény: ev m ( x, y, z, t ) = {b B : W(m, b, x, y, z, t)}
11 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Axióma [ AxPh ]: Fő axiómák A fénysebesség minden inerciális megfigyelő számára minden irányban ugyanakkora. m t ȳ p time( x, ȳ) 2 x y x space 2 ( x, ȳ) ( [ ( m IOb(m) c c > 0 xȳ p [ Ph(p) W(m, p, x) W(m, p, ȳ) ] space 2 ( x, ȳ) = c 2 time( x, ȳ) 2 )])
12 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Axióma [ AxPh ]: Fő axiómák A fénysebesség minden inerciális megfigyelő számára minden irányban ugyanakkora. Axióma [ AxOf ]: A mennyiségek struktúrája Q; +,, egy rendezett test. Racionális számok: Q, Q( 2), Q( 3), Q(π),... Kiszámítható számok, Szerkeszthető számok, Algebrai valós számok: A, Valós számok: R, Hiperracionális számok: Q, Hipervalós számok: R, stb.
13 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Axióma [ AxPh ]: Fő axiómák A fénysebesség minden inerciális megfigyelő számára minden irányban ugyanakkora. Axióma [ AxOf ]: A mennyiségek struktúrája Q; +,, egy rendezett test. Axióma [ AxEv ]: Az inerciális megfigyelők ugyanazokat az eseményeket (próbatestek találkozásait) koordinátázzák.
14 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Axióma [ AxSm ]: Egyszerűsítő axiómák Az inerciális megfigyelők ugyanazokat a mértékegységeket használják. Axióma [ AxSf ]: Az inerciális megfigyelők a saját vonatkoztatási rendszerükhöz képest nem mozognak. SpecRel SpecRel = AxPh + AxOf + AxEv + AxSf + AxSm
15 Intro SpecRel AccRel GenRel Nyelv Axiómák Tételek Tétel: (Andréka Madarász Németi, 1998) SpecRel Bármely két inerciális megfigyelő m és k világképe között az áttéréstranszformáció egy Poincaré transzformáció. k k m világképe k világképe Köv.: SpecRel { Mozgó órák lelassulnak., Mozgó méterrudak megrövidülnek., stb.
16 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP AccRel
17 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP A logikai nyelv ugyanaz. B W Q, +,, IOb Ph Ob B Fizikai objektumok (próbatestek) IOb Inerciális megfigyelők Ph Fényjelek Q Mennyiségek W Világképreláció (6 argumentumú reláció) Megfigyelő: Ob(k) def xyzt b W(k, b, x, y, z, t)
18 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP Axióma [ AxCmv ]: Minden megfigyelő, világvonalának minden pillanatában lokálisan olyannak látja a világot, mint egy inerciális megfigyelő. k Ob x m IOb k Ob x wline k (k) m IOb d x w mk = L d x w mk = Id, ahol def ε > 0 δ > 0 ȳ ȳ x δ w mk (ȳ) L(ȳ) ε ȳ x.
19 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP Tétel: (Sz.G., 2004) SpecRel + AxCmv + Q, +,, = R TwP SpecRel + AxCmv + Th(R) TwP Szia fiam! Ikerparadoxon TwP
20 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP Tétel: (Sz.G., 2004) SpecRel + AxCmv + Q, +,, = R TwP SpecRel + AxCmv + Th(R) TwP m k k
21 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP Axiómaséma [ CONT ]: Ha egy megfigyelhető jelenség megváltozik, akkor van egy olyan időpont, ahol ez a változás bekövetkezett. Racionális számok: Q, Q( 2), Q( 3), Q(π),... Kiszámítható számok, Szerkeszthető számok, Algebrai valós számok: A, Valós számok: R, Hiperracionális számok: Q, Hipervalós számok: R, stb.
22 Intro SpecRel AccRel GenRel Nyelv Axiómák TwP Tétel: (Madarász Németi Sz.G., 2006) Axióma [ AxCmv ]: SpecRel + AxCmv + CONT TwP Minden megfigyelő, világvonalának minden pillanatában lokálisan olyannak látja a világot, mint egy inerciális megfigyelő. Axiómaséma [ CONT ]: Ha egy megfigyelhető jelenség megváltozik, akkor van egy olyan időpont, ahol ez a változás bekövetkezett. AccRel AccRel = SpecRel + AxCmv + CONT + AxEv + AxSf + AxDiff
23 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE GenRel
24 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE A logikai nyelv ugyanaz. B W Q, +,, IOb Ph Ob B Fizikai objektumok (próbatestek) IOb Inerciális megfigyelők Ph Fényjelek Q Mennyiségek W Világképreláció (6 argumentumú reláció) Megfigyelő: Ob(k) def xyzt b W(k, b, x, y, z, t)
25 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Az axiómák szintjén legyen minden megfigyelő egyenrangú. (Einstein) AxPh AxEv AxSf AxSm AxCmv AxDiff AxPh AxEv AxSf AxSm Például: AxPh, AxCmv AxPh.
26 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Axióma [ AxPh ]: Bármely fényjel pillanatnyi sebessége 1 a kibocsátás pillanatában, a fényjelet kibocsátó megfigyelő szerint. m p x
27 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE GenRel GenRel=AxPh +AxEv +AxSf +AxSm +AxDiff+AxOf+CONT AccRel SpecRel GenRel
28 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Tétel: (Andréka Madarász Németi Sz.G., 2013) GenRel teljes a Lorentz sokaságokra nézve. M ψ i ψ k Q d w ik Q d ψ j Q d w ij w jk
29 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Einstein egyenletek: R ij 1 2 Rg ij=t ij
30 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Einstein egyenletek: R ij 1 2 Rg ij=t ij Definíció vagy Axióma?
31 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Einstein egyenletek: R ij 1 2 Rg ij=t ij Definíció vagy Axióma? Nincs lényeges különbség...
32 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Miért nem tétel?
33 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Miért nem tétel? Lehetne tétel is! (más úton haladva) Például: Hilbert-hatás + variációs elvek Einstein egyenletek
34 Intro SpecRel AccRel GenRel Nyelv Axiómák Teljesség EFE Ax : R ij 1 2 Rg ij = T ij SpecRel def T ij = R ij 1 2 Rg ij G.R. Köszönöm a figyelmet! Thm : R ij 1 2 Rg ij = T ij
(Természetesen, nem lesz ilyen sok kérdés feladva a vizsgán!) Hogy szól a relativitási elv a lehető legjobb megfogalmazásban?
Próba vizsgakérdések (A téridő fizikájától a tér és idő metafizikájáig) (Természetesen, nem lesz ilyen sok kérdés feladva a vizsgán!) Hogy szól a relativitási elv a lehető legjobb megfogalmazásban? Mit
RészletesebbenParadigmatikus effektusok Órák szinkronból kiállása.
Paradigmatikus effektusok: jellegzetesen relativisztikus jelenségek, amik eltérnek a newtonitól. Három ilyen van: órák szinkronból kiállása, órák lelassulása, méterrudak megrövidülése. Ez három tétel lesz
RészletesebbenLehetségesség a fizikában
72 Molnár Attila Egyetemi tanulmányaimat 2005-ben, osztatlan képzésben matematikatanárfilozófia szakon kezdtem. Egyetemi tanulmányaim túlnyomó részében az ELTE BTK Logika tanszékén voltam demonstrátor,
RészletesebbenA valós számok halmaza
VA 1 A valós számok halmaza VA 2 A valós számok halmazának axiómarendszere és alapvető tulajdonságai Definíció Az R halmazt a valós számok halmazának nevezzük, ha teljesíti a következő axiómarendszerben
RészletesebbenSpeciális relativitás
Fizika 1 előadás 2016. április 6. Speciális relativitás Relativisztikus kinematika Utolsó módosítás: 2016. április 4.. 1 Egy érdekesség: Fizeau-kísérlet A v sebességgel áramló n törésmutatójú folyadékban
RészletesebbenOptika és Relativitáselmélet II. BsC fizikus hallgatóknak
Optika és Relativitáselmélet II. BsC fizikus hallgatóknak 11. Bevezetés a speciális relativitáselméletbe I. Tér, Idő, Téridő Cserti József, jegyzet, ELTE, 2007 (Dávid Gyula jegyzete alapján). Maxwell-egyenletek
RészletesebbenKlasszikus algebra előadás. Waldhauser Tamás április 14.
Klasszikus algebra előadás Waldhauser Tamás 2014. április 14. Többhatározatlanú polinomok 4.3. Definíció. Adott T test feletti n-határozatlanú monomnak nevezzük az ax k 1 1 xk n n alakú formális kifejezéseket,
RészletesebbenBabeş-Bolyai Tudományegyetem, Kolozsvár & Óbudai Egyetem, Budapest. 2015. június 20.
A görbületek világa 1 Kristály Sándor Babeş-Bolyai Tudományegyetem, Kolozsvár & Óbudai Egyetem, Budapest 2015. június 20. 1 Az MTA Bolyai János Kutatói Ösztöndíj által támogatott kutatás. Eukleidészi világnézet
RészletesebbenDISZKRÉT MATEMATIKA: STRUKTÚRÁK Előadáson mutatott példa: Bércesné Novák Ágnes
1. Algebrai alapok: DISZKRÉT MATEMATIKA: STRUKTÚRÁK Művelet: Egy H nemüres halmazon értelmezett (kétváltozós) műveleten egy H H H függvényt értünk, azaz egy olyan leképezést, amely bármely a,b H elempárhoz
RészletesebbenAz R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.
2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az
RészletesebbenA relativitáselmélet története
A relativitáselmélet története a parallaxis keresése közben felfedezik az aberrációt (1725-1728) James Bradley (1693-1762) ennek alapján becsülhető a fény sebessége a csillagfény ugyanúgy törik meg a prizmán,
RészletesebbenSpeciális relativitás
Bevezetés a modern fizika fejezeteibe 3. (a) Speciális relativitás Relativisztikus kinematika Utolsó módosítás: 2015. január 11.. 1 Egy egyszerű probléma (1) A K nyugvó vonatkoztatási rendszerben tekintsünk
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 6. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenRelativisztikus paradoxonok
Relativisztikus paradoxonok Az atomoktól a csillagokig Dávid Gyula 2009. 01. 15. Maxwell, A FLOGISZTON AZ ÁRAM NEM FOLYIK Huba Tamás Ohm fellegvára Kovács AMPERE TÉVEDETT! ELEKTRODINAMIKA Gay-Lussac was
RészletesebbenERŐ-E A GRAVITÁCIÓ? 1. példa:
ERŐ-E A GRAVITÁCIÓ? 1 Inerciarendszer (IR): olyan vonatkoztatási r rendszer, ahol érvényes Newton első törvénye ( F e = 0 " a r = 0) 1. példa: ez pl. IR (Newton és Einstein egyetért) Inerciarendszerben
RészletesebbenRelativisztikus elektrodinamika röviden
Relativisztikus elektrodinamika röviden További olvasnivaló a kiadó kínálatából: Patkós András: Bevezetés a kvantumfizikába: 6 előadás Feynman modorában Bódizs Dénes: Atommagsugárzások méréstechnikái Frei
RészletesebbenAz Ampère-Maxwell-féle gerjesztési törvény
Az Ampère-Maxwell-féle gerjesztési törvény Maxwell elméleti meggondolások alapján feltételezte, hogy a változó elektromos tér örvényes mágneses teret kelt (hasonlóan ahhoz ahogy a változó mágneses tér
Részletesebben[ ]dx 2 # [ 1 # h( z,t)
A gravitációs hullámok miért mutathatók ki lézer-interferométerrel? Gravitációs hullám (GH) Newton: ha egy nagy tömegű égitest helyet változtat, annak azonnal érződik a hatása tetszőlegesen nagy távolságban
RészletesebbenEz a prezentáció második része. A gyorsuló megfigyelőkről szól, ez lényeges lépés az általános relativitáselmélet felé.
Ez a prezentáció második része. A gyorsuló megfigyelőkről szól, ez lényeges lépés az általános relativitáselmélet felé. Az általános relativitáselmélet és a fekete lyukak elmélete nagyon izgalmas úttörő
RészletesebbenA modern fizika születése
A modern fizika születése Lord Kelvin a 19. század végén azt mondta, hogy a fizika egy befejezett tudomány: Nincsen olyan probléma amit a tudomány ne tudna megoldani. A fizika egy befejezett tudomány,
RészletesebbenERŐ-E A GRAVITÁCIÓ? 1
ERŐ-E A GRAVITÁCIÓ? 1 Inerciarendszer (IR): olyan vonatkoztatási rendszer, ahol érvényes Newton első törvénye (! # = 0 ' = 0) 1. példa: ez pl. IR (Newton és Einstein egyetért) Inerciarendszerben tett felfedezések:
RészletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 5. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Számfogalom bővítése Diszkrét matematika I. középszint
RészletesebbenA speciális relativitáselmélet alapjai
A speciális relativitáselmélet alapjai A XIX-XX. századforduló táján, amikor a mechanika és az elektromágnességtan alapvető törvényeit már jól ismerték, a fizikát sokan befejezett tudománynak gondolták.
RészletesebbenA gravitációs hullámok miért mutathatók ki lézer-interferométerrel?
A gravitációs hullámok miért mutathatók ki lézer-interferométerrel? Gravitációs hullám (GH) Newton: ha egy nagy tömegű égitest helyet változtat, annak azonnal érződik a hatása tetszőlegesen nagy távolságban
Részletesebben1. előadás: Halmazelmélet, számfogalom, teljes
1. előadás: Halmazelmélet, számfogalom, teljes indukció Szabó Szilárd Halmazok Halmaz: alapfogalom, bizonyos elemek (matematikai objektumok) összessége. Egy halmaz akkor adott, ha minden objektumról eldönthető,
RészletesebbenMozgásleírás különböző vonatkoztatási rendszerekből. Mozgásleírás egymáshoz képest mozgó inerciarendszerekből
TÓTH A:Mechanika/3 (kibővített óravázlat) 1 Mozgásleírás különböző vonatkoztatási rendszerekből Egy test mozgásának leírása általában úgy történik, hogy annak mindenkori helyzetét egy többé-kevésbé önkényesen
RészletesebbenAz invariáns, melynek értéke mindkét vonathoztatási rendszerben ugyanaz
AZ I. FEJEZET SUMMÁJA HÁROMDIMENZIÓS EUKLIDESZI GEOMETRIA AZ EUKLIDESZI ÉS A LORENTZ-TRANSZFORMÁCIÓ ÖSSZEHASONLÍTÁSA NÉGYDIMENZIÓS LORENTZ- GEOMETRIA Feladat: megtalálni az összefüggést egy pontnak egy
RészletesebbenKvantumszimmetriák. Böhm Gabriella. Szeged. Wigner Fizikai Kutatóközpont, Budapest november 16.
Kvantumszimmetriák Böhm Gabriella Wigner Fizikai Kutatóközpont, Budapest Szeged 2017. november 16. Kvantumszimmetriák I. A kvantumtérelmélet axiomatikus megközelítése II. A DHR-kategória III. Szimmetria
RészletesebbenSpeciális relativitás
Bevezetés a modern fizika fejezeteibe 3. (b) Speciális relativitás Relativisztikus dinamika Utolsó módosítás: 2013 október 15. 1 A relativisztikus tömeg (1) A bevezetett Lorentz-transzformáció biztosítja
RészletesebbenTypotex Kiadó. Záró megjegyzések
Záró megjegyzések Az olvasó esetleg hiányolhatja az éter szót, amely eddig a pillanatig egyáltalán nem fordult elő. Ez a mulasztás tudatos megfontoláson alapul: Ugyanazért nem kerítettünk szót az éterre,
RészletesebbenMatematika alapjai; Feladatok
Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \
RészletesebbenKomplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18
Komplex számok Wettl Ferenc előadása alapján 2015.09.23. Wettl Ferenc előadása alapján Komplex számok 2015.09.23. 1 / 18 Tartalom 1 Számok A számfogalom bővülése 2 Algebrai alak Trigonometrikus alak Egységgyökök
RészletesebbenRelativisztikus pont-mechanika
Relativisztikus pont-mechanika Balog János MTA Wigner FK RMI, Budapest Pont-mechanika és kauzalitás, no-interaction tétel Relativisztikus és prediktív mechanika Kanonikus relativisztikus mechanika Ruijsenaars-Schneider
RészletesebbenLogika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
Részletesebben1. Algebrai alapok: Melyek műveletek az alábbiak közül?
1. Algebrai alapok: Művelet: Egy H nemüres halmazon értelmezett (kétváltozós) műveleten egy H H H függvényt értünk, azaz egy olyan leképezést, amely bármely a,b H elempárhoz egyértelműen hozzárendel egy
RészletesebbenAtomfizika. A hidrogén lámpa színképei. Elektronok H atom. Fényképlemez. emisszió H 2. gáz
Atomfizika A hidrogén lámpa színképei - Elektronok H atom emisszió Fényképlemez V + H 2 gáz Az atom és kvantumfizika fejlődésének fontos szakasza volt a hidrogén lámpa színképeinek leírása, és a vonalas
Részletesebben7. gyakorlat. Lineáris algebrai egyenletrendszerek megoldhatósága
7. gyakorlat Lineáris algebrai egyenletrendszerek megoldhatósága Egy lineáris algebrai egyenletrendszerrel kapcsolatban a következ kérdések merülnek fel: 1. Létezik-e megoldása? 2. Ha igen, hány megoldása
RészletesebbenDinamikus modellek szerkezete, SDG modellek
Diagnosztika - 3. p. 1/2 Modell Alapú Diagnosztika Diszkrét Módszerekkel Dinamikus modellek szerkezete, SDG modellek Hangos Katalin PE Villamosmérnöki és Információs Rendszerek Tanszék Diagnosztika - 3.
RészletesebbenKaposi Ambrus. University of Nottingham Functional Programming Lab. Hackerspace Budapest 2015. január 6.
Bizonyítás és programozás Kaposi Ambrus University of Nottingham Functional Programming Lab Hackerspace Budapest 2015. január 6. Bizonyítás, érvelés Példa: sáros a csizmám ha vizes a föld, esett az eső
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 6. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenCIKKSOROZAT A KITERJESZTETT BOLYAI GEOMETRIÁRÓL: II. KÉT SEJTÉS KITERJESZTETT GEOMETRIÁK KOSZINUSZTÉTELEIRŐL
CIKKSOROZAT A KITERJESZTETT BOLYAI GEOMETRIÁRÓL II. KÉT SEJTÉS KITERJESZTETT GEOMETRIÁK KOSZINUSZTÉTELEIRŐL SZÉKELY GERGELY HORVÁTH ISTVÁN SZELLŐ LÁSZLÓ CIKKSOROZAT A KITERJESZTETT BOLYAI GEOMETRIÁRÓL:
RészletesebbenAZ ELEKTRON MÁGNESES MOMENTUMA. H mágneses erœtérben az m mágneses dipólmomentummal jellemzett testre M = m H forgatónyomaték hat.
AZ ELEKTRON MÁGNESES MOMENTUMA Mágneses dipólmomentum: m H mágneses erœtérben az m mágneses dipólmomentummal jellemzett testre M = m H forgatónyomaték hat. M = m H sinϕ (Elektromos töltés, q: monopólus
Részletesebben1.1. Vektorok és operátorok mátrix formában
1. Reprezentáció elmélet 1.1. Vektorok és operátorok mátrix formában A vektorok és az operátorok mátrixok formájában is felírhatók. A végtelen dimenziós ket vektoroknak végtelen sok sort tartalmazó oszlopmátrix
RészletesebbenPere Balázs október 20.
Végeselem anaĺızis 1. előadás Széchenyi István Egyetem, Alkalmazott Mechanika Tanszék 2014. október 20. Mi az a VégesElem Anaĺızis (VEA)? Mi az a VégesElem Anaĺızis (VEA)? Mi az a VégesElem Anaĺızis (VEA)?
RészletesebbenCsima Judit október 24.
Adatbáziskezelés Funkcionális függőségek Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. október 24. Csima Judit Adatbáziskezelés Funkcionális függőségek 1 / 1 Relációs sémák
RészletesebbenA speciális relativitáselmélet alapjai
A speciális relativitáselmélet alapjai A XIX-XX. századforduló táján, amikor a mechanika és az elektromágnességtan alapvető törvényeit már jól ismerték, a fizikát sokan befejezett tudománynak gondolták.
RészletesebbenFüggvények határértéke és folytonosság
Függvények határértéke és folytonosság ) Bizonyítsa be a határérték definíciója alapján, hogy teljesül! + 5 + = Megoldás Heine definíciója alapján): Igazolandó, hogy a függvény értelmezve van a egy környezetében,
RészletesebbenAdatbázisok elmélete 12. előadás
Adatbázisok elmélete 12. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu http://www.cs.bme.hu/ kiskat 2005 ADATBÁZISOK ELMÉLETE
RészletesebbenAz elektrodinamika kovarianciája logikai-empirista rekonstrukció
Az elektrodinamika kovarianciája logikai-empirista rekonstrukció TDK dolgozat Gömöri Márton Témavezető: E. Szabó László, D.Habil., D.Sc. egyetemi docens ELTE TTK Tartalomjegyzék 1. Bevezetés 3 2. A relativitási
RészletesebbenSpeciális relativitáselmélet. Ami fontos, az abszolút.
Speciális relativitáselmélet Ami fontos, az abszolút. Vonatkoztatási rendszer A fizikai mennyiségek értéke, iránya majdnem mindig attól függ, hogy honnan nézzük, vagyis függenek a vonatkoztatási rendszertől.
RészletesebbenHatárérték. prezentációjából valók ((C)Pearson Education, Inc.) Összeállította: Wettl Ferenc október 11.
Határérték Thomas féle Kalkulus 1 című könyv alapján készült a könyvet használó hallgatóknak. A képek az eredeti könyv szabadon letölthető prezentációjából valók ((C)Pearson Education, Inc.) Összeállította:
RészletesebbenA TételWiki wikiből 1 / 5
1 / 5 A TételWiki wikiből 1 Vonatkoztatási rendszer 2 Galilei-transzformáció 3 A Lorentz-transzformáció 4 A Michelson-Morley kísérlet 5 A Lorentz transzformációk következményei 5.1 Az inerciarendszerek
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.
HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak
RészletesebbenHraskó Péter. Relativitáselmélet. 2., javított kiadás
Hraskó Péter Relativitáselmélet 2., javított kiadás Tartalomjegyzék Előszó.................................. 9 A második kiadásról.......................... 11 1. Speciális relativitáselmélet (téridő-geometria)
RészletesebbenEgyenes és sík. Wettl Ferenc szeptember 29. Wettl Ferenc () Egyenes és sík szeptember / 15
Egyenes és sík Wettl Ferenc 2006. szeptember 29. Wettl Ferenc () Egyenes és sík 2006. szeptember 29. 1 / 15 Tartalom 1 Egyenes és szakasz Egyenes Szakasz Egyenesvonalú egyenletes mozgás Egyenes és pont
Részletesebben7. gyakorlat. Lineáris algebrai egyenletrendszerek megoldhatósága
7. gyakorlat Lineáris algebrai egyenletrendszerek megoldhatósága Egy lineáris algebrai egyenletrendszerrel kapcsolatban a következ kérdések merülnek fel: 1. Létezik-e megoldása? 2. Ha igen, hány megoldása
RészletesebbenDiszkrét matematika 1.
Diszkrét matematika 1. Nagy Gábor nagy@compalg.inf.elte.hu nagygabr@gmail.com ELTE IK Komputeralgebra Tanszék 014. ősz 014-15 őszi félév Gyakorlat: 1. ZH tervezett időpontja: október 1.,. ZH tervezett
RészletesebbenA RELATIVITÁSELMÉLET TÖRTÉNETÉBÕL
A RELATIVITÁSELMÉLET TÖRTÉNETÉBÕL A MINKOWSKI-VILÁG 1 A természeti folyamatok leírása legalkalmasabban az ún. inerciális vagy tehetetlenségi vonatkoztatási rendszerekben történik. Itt a vonatkoztatási
Részletesebben4. Fuzzy relációk. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI
4. Fuzzy relációk Gépi intelligencia I. Fodor János BMF NIK IMRI NIMGI1MIEM Tartalomjegyzék I 1 Klasszikus relációk Halmazok Descartes-szorzata Relációk 2 Fuzzy relációk Fuzzy relációk véges alaphalmazok
Részletesebbenegyetemi állások a relativitáselmélet általánosítása (1915) napfogyatkozás (1919) az Einstein-mítosz (1920-tól) emigráció 1935: Einstein-Podolsky-
egyetemi állások a relativitáselmélet általánosítása (1915) napfogyatkozás (1919) az Einstein-mítosz (1920-tól) emigráció 1935: Einstein-Podolsky- Rosen cikk törekvés az egységes térelmélet létrehozására
RészletesebbenFizika. Fizika. Nyitray Gergely (PhD) PTE PMMIK január 30.
Fizika Nyitray Gergely (PhD) PTE PMMIK 2017. január 30. Tapasztalatok az erővel kapcsolatban: elhajított kő, kilőtt nyílvessző, ásás, favágás Aristoteles: az erő a mozgás fenntartója Galilei: a mozgás
RészletesebbenSZE, Fizika és Kémia Tsz. v 1.0
Fizikatörténet A speciális relativitáselmélet története Horváth András SZE, Fizika és Kémia Tsz. v 1.0 Mítoszok a relativitáselméletről: Bevezető Elterjedt mítosz: 1905-ben A. Einstein fedezi fel egymaga.
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy
Diszkrét matematika 3. estis képzés 2018. ősz 1. Diszkrét matematika 3. estis képzés 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1
Halmazok 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 2 A fejezet legfontosabb elemei Halmaz megadási módjai Halmazok közti műveletek (metszet,
RészletesebbenABR ( Adatbázisrendszerek) 2. Előadás : Műveletek a relációs modellben
ABR ( Adatbázisrendszerek) 2. Előadás : Műveletek a relációs modellben 2.2 Műveletek a relációs modellben 2.2.1 Relációra vonatkozó megszorítások 2.2.2 Multihalmazon értelmezett műveletek 2.2.3 A relációs
RészletesebbenA lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait.
2. VEKTORTÉR A lineáris algebrában központi szerepet betöltı vektortér fogalmát értelmezzük most, s megvizsgáljuk e struktúra legfontosabb egyszerő tulajdonságait. Legyen K egy test és V egy nem üres halmaz,
Részletesebbena magspin és a mágneses momentum, a kizárási elv (1924) a korrespondencia-elv alkalmazása a diszperziós formulára (1925)
a magspin és a mágneses momentum, a kizárási elv (1924) Wolfgang Pauli (1900-1958) a korrespondencia-elv alkalmazása a diszperziós formulára (1925) Hendrik Anthony Kramers (1894-1952) a mátrixmechanika
Részletesebben"Flat" rendszerek. definíciók, példák, alkalmazások
"Flat" rendszerek definíciók, példák, alkalmazások Hangos Katalin, Szederkényi Gábor szeder@scl.sztaki.hu, hangos@scl.sztaki.hu 2006. október 18. flatness - p. 1/26 FLAT RENDSZEREK: Elméleti alapok 2006.
RészletesebbenKövetelmény a 7. évfolyamon félévkor matematikából
Követelmény a 7. évfolyamon félévkor matematikából Gondolkodási és megismerési módszerek Elemek halmazba rendezése több szempont alapján. Halmazok ábrázolása. A nyelv logikai elemeinek helyes használata.
RészletesebbenSzáz éves a relativitáselmélet
Száz éves a relativitáselmélet Szabados László MTA KFKI Részecske és Magzikai Kutatóintézet Elméleti F osztály 1525 Budapest 114, P.f. 49 http://www.rmki.kfki.hu/ lbszab/ e-mail: lbszab@rmki.kfki.hu 2006
RészletesebbenSZE, Fizika és Kémia Tsz. v 1.0
Fizikatörténet A fénysebesség mérésének története Horváth András SZE, Fizika és Kémia Tsz. v 1.0 Kezdeti próbálkozások Galilei, Descartes: Egyszerű kísérletek lámpákkal adott fényjelzésekkel. Eredmény:
RészletesebbenAz elméleti fizika alapjai házi feladat
Az elméleti fizika alapjai házi feladat A jellel ellátott feladatok opcionálisak és plusz pontot érnek. A határidőn túl leadott házi feladatok is pontot érnek, még ha kevesebbet is. Pl. az 1. házi feladat
RészletesebbenA relativitáselmélet alapjai
A relativitáselmélet alapjai További olvasnivaló a kiadó kínálatából: Bódizs Dénes: Atommagsugárzások méréstechnikái Frei Zsolt Patkós András: Inflációs kozmológia Geszti Tamás: Kvantummechanika John D.
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 017. ősz 1. Diszkrét matematika 1. középszint. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenBevezetés az analízisbe. Előadás vázlat ősz
Bevezetés az analízisbe Előadás vázlat. 2009. ősz 1. előadás Téma: A matematika nyelvezetének alapvető sajátosságai, logikai műveletek. Bizonyítási módszerek. A valós számok; axiómák. Topologikus és metrikus
RészletesebbenAlgoritmuselmélet gyakorlat (MMN111G)
Algoritmuselmélet gyakorlat (MMN111G) 2014. január 14. 1. Gyakorlat 1.1. Feladat. Adott K testre rendre K[x] és K(x) jelöli a K feletti polinomok és racionális törtfüggvények halmazát. Mutassuk meg, hogy
RészletesebbenVEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok
VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER 2004. október 15. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak az előadáson, másrészt megtalálják
Részletesebben1. Bevezetés A félév anyaga. Gyűrűk és testek Ideál, faktorgyűrű, főideálgyűrű Gauss-egészek, két négyzetszám tétel Az alaptételes gyűrűk jellemzése A számfogalom lezárása Algebrai és transzcendens számok
RészletesebbenVektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27
Vektorterek Wettl Ferenc 2015. február 17. Wettl Ferenc Vektorterek 2015. február 17. 1 / 27 Tartalom 1 Egyenletrendszerek 2 Algebrai struktúrák 3 Vektortér 4 Bázis, dimenzió 5 Valós mátrixok és egyenletrendszerek
Részletesebbennappali tagozat, tanítói szak TAN05MSZ Szigorlati követelmények és tételek Vizsgatematika A szigorlat követelményei:
Matematika Tanszék Matematika műveltségi terület, nappali tagozat, tanítói szak TAN05MSZ Szigorlati követelmények és tételek A szigorlat követelményei: Vizsgatematika A hallgató legyen képes 15-20 perces
RészletesebbenLin.Alg.Zh.1 feladatok
LinAlgZh1 feladatok 01 3d vektorok Adott három vektor ā = (0 2 4) b = (1 1 4) c = (0 2 4) az R 3 Euklideszi vektortérben egy ortonormált bázisban 1 Mennyi az ā b skalárszorzat? 2 Mennyi az n = ā b vektoriális
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2017. ősz 1. Diszkrét matematika 1. középszint 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenA két megközelítés ellentéte ugyanakkor éppen a fizikai realitás fogalmában, értelmezésében tér el egymástól. " # $ %
Kedves Laci és Péter! Köszönöm a vitához való hozzászólásotokat. következetesen és logikusan jeleníti meg a tárgynak - az óraparadoxonnak és ezzel egyben a relativitás elméletének mint olyannak - azt a
Részletesebben1. feladatsor Komplex számok
. feladatsor Komplex számok.. Feladat. Kanonikus alakban számolva határozzuk meg az alábbi műveletek eredményét. (a) i 0 ; i 8 ; (b) + 4i; 3 i (c) ( + 5i)( 6i); (d) i 3+i ; (e) 3i ; (f) ( +3i)(8+i) ( 4
RészletesebbenGondolatok a téridő alapvető geometriai jellegéről
Gondolatok a téridő alapvető geometriai jellegéről Dobóval folytatott közös kutatásaink során megalkottuk a Dobó-Topa transzformációt, továbbá a vele harmonizáló 4-dimenziós fizikai téridőnek ( kiigazított
RészletesebbenModellek és változásaik a fizikában V. A XX. Század fizikája Albert Einstein
Modellek és változásaik a fizikában V. A XX. Század fizikája Albert Einstein Albert Einstein (1879-1955) "A kérdés, ami néha elbizonytalanít: én vagyok őrült, vagy mindenki más?" "Csak két dolog végtelen.
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. estis képzés 2017. ősz 1. Diszkrét matematika 1. estis képzés 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 016. ősz 1. Diszkrét matematika 1. középszint 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenLin.Alg.Zh.1 feladatok
Lin.Alg.Zh. feladatok 0.. d vektorok Adott három vektor ā (0 b ( c (0 az R Euklideszi vektortérben egy ortonormált bázisban.. Mennyi az ā b skalárszorzat? ā b 0 + + 8. Mennyi az n ā b vektoriális szorzat?
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA MATEmATIkA I 6 VI KOmPLEX SZÁmOk 1 A komplex SZÁmOk HALmAZA A komplex számok olyan halmazt alkotnak amelyekben elvégezhető az összeadás és a szorzás azaz két komplex szám összege és szorzata
RészletesebbenA relativitáselmélet világképe
v 0.9 Oktatási célra szabadon terjeszthető A fizika frontvonala a 19. szd-ban 1 Bevezető A fizika frontvonala a 19. szd-ban 2 néhány gondolata 3 Előzmények: a gravitáció okának keresése Előzmények: a nemeuklideszi
Részletesebben3. Az országos mérés-értékelés eredményei, évenként feltüntetve
3. Az országos mérés-értékelés eredményei, évenként feltüntetve 4. évfolyam-okév 2005/2006. tanév: Ebben a tanévben első alkalommal mértek a 4. évfolyamon különböző készségeket és ezek gyakorlottságát.
RészletesebbenThe Principle of Relativity
Eötvös Loránd Tudományegyetem Bölcsészettudományi Kar Doktori Disszertáció Tézisei Gömöri Márton The Principle of Relativity An Empiricist Analysis (A relativitás elve empirista elemzés) Filozófiatudományi
RészletesebbenVégeselem analízis. 1. el adás
Végeselem analízis 1. el adás Pere Balázs Széchenyi István Egyetem, Alkalmazott Mechanika Tanszék 2016. szeptember 7. Mi az a VégesElem Analízis (VEA)? Parciális dierenciálegyenletek (egyenletrendszerek)
RészletesebbenMatematika 11 Koordináta geometria. matematika és fizika szakos középiskolai tanár. > o < szeptember 27.
Matematika 11 Koordináta geometria Juhász László matematika és fizika szakos középiskolai tanár > o < 2015. szeptember 27. copyright: c Juhász László Ennek a könyvnek a használatát szerzői jog védi. A
Részletesebben(!), {z C z z 0 < R} K (K: konv. tart.) lim cn+1
Komlex analízis Komlex hatványsorok c n (z z 0 ) n ; R = lim n c n, R = (!), {z C z z 0 < R} K (K: konv. tart.) lim cn+ c n n=0. Van-e olyan komlex hatványsor, melynek a) üres a konvergenciatartománya,
RészletesebbenNemzeti versenyek 11 12. évfolyam
Nemzeti versenyek 11 12. évfolyam Szerkesztette: I. N. Szergejeva 2015. február 2. Technikai munkák (MatKönyv project, TEX programozás, PHP programozás, tördelés...) Dénes Balázs, Grósz Dániel, Hraskó
RészletesebbenGy ur uk aprilis 11.
Gyűrűk 2014. április 11. 1. Hányadostest 2. Karakterisztika, prímtest 3. Egyszerű gyűrűk [F] III/8 Tétel Minden integritástartomány beágyazható testbe. Legyen R integritástartomány, és értelmezzünk az
RészletesebbenMATEMATIKA TANMENET SZAKKÖZÉPISKOLA 10.B OSZTÁLY HETI 4 ÓRA 37 HÉT/ ÖSSZ 148 ÓRA
MINŐSÉGIRÁNYÍTÁSI ELJÁRÁS MELLÉKLET Tanmenetborító Azonosító: ME-III.1./1 Változatszám: 2 Érvényesség 2013. 09. 01. kezdete: Oldal/összes: 1/7 Fájlnév: ME- III.1.1.Tanmenetborító SZK- DC-2013 MATEMATIKA
RészletesebbenRelációs struktúrák Relációs elméletek Modális elméletek Gyakorlás Modellezés Házifeladatok MODÁLIS LOGIKAI ALAPOK
DEONTIKUS LOGIKA MODÁLIS LOGIKAI ALAPOK Molnár Attila, Markovich Réka Eötvös Loránd University March 14, 2015 Relációs struktúrák DEONTIKUS RENDSZER MINT RELÁCIÓS STRUKTÚRA Modellezni szeretnénk a cselekvéseket
Részletesebben