KöMaL - Középiskolai Matematikai és Fizikai Lapok
 English
Információ
A lap
Pontverseny
Cikkek
Hírek
Fórum
Játékszabályok
Technikai info
TeX tanfolyam
Regisztráció
Témák

apehman

Rendelje meg a KöMaL-t!

VersenyVizsga portál

Kísérletek.hu

Matematika oktatási portál

Fórum - Nehezebb matematikai problémák

  Regisztráció    Játékszabályok    Technikai információ    Témák    Közlemények  

Ön még nem jelentkezett be.
Név:
Jelszó:

  [1. oldal]    [2. oldal]    [3. oldal]    [4. oldal]    [5. oldal]    [6. oldal]    [7. oldal]    [8. oldal]    [9. oldal]    [10. oldal]    [11. oldal]    [12. oldal]    [13. oldal]    [14. oldal]    [15. oldal]    [16. oldal]    [17. oldal]    [18. oldal]    [19. oldal]    [20. oldal]    [21. oldal]    [22. oldal]    [23. oldal]    [24. oldal]    [25. oldal]    [26. oldal]    [27. oldal]    [28. oldal]    [29. oldal]    [30. oldal]    [31. oldal]    [32. oldal]    [33. oldal]  

Ha a témához hozzá kíván szólni, először regisztrálnia kell magát.
[309] lgdt2006-07-10 15:06:54

már csak az átlagolóssal is a=c=1, b=3 nekem ellenpéldának tűnik. javíts ki, ha tévedek!

Előzmény: [308] Károly, 2006-07-09 17:17:55
[308] Károly2006-07-09 17:17:55

Kösz! Persze! "Elszámoltam" magam. Rossz szelektet írtam (ezeket a táblákat SQL-ben nézegetem).

Vagyis a +n visszaadja az 5-elemű ciklikus csoportot, melynek egységeleme n.

Ez már olyan, mintha lenne egy tételünk...:-))

Szerinted az axiómákból le lehet-e vezetni, hogy (ab)(ac)=b(ac) vagy esetleg van ellenpélda?

(Vagy, ami ezzel szorosan összefügg: be lehet-e bizonyítani, hogy az ab létezik definícióval adott reláció ekvivalenciareláció?)

Még egyszer nagyon köszönöm, hogy kijavítottál.

Üdv

Károly

Előzmény: [307] 2501, 2006-07-09 16:01:49
[307] 25012006-07-09 16:01:49

Szervusz!

Szerintem elszámoltál (illetve "-betűztél" :)) valamit. Az a+nb=c \equiv a*b=c*n definícióból következik, hogy a+nzn=a \equiv a*zn=a*n (ahol zn az egység). Ebből már következik, hogy zn=n, feltéve, hogy az fa(b)=a*b függvény injektív.

Előzmény: [306] Károly, 2006-07-07 19:28:39
[306] Károly2006-07-07 19:28:39

Neeem!

Nagyon örülök, hogy rögtön vágtad.

Mutatok egy nemtriviális véges példát:

a b c d e
a a d b e c
b d b e c a
c b e c a d
d e c a d b
e c a d b e

(Húú - régen TeX-eltem...!! :-)

Ez a tábla természetesen a mod 5 additív csoportból készült - úgy, ahogy mondtad - átlagokkal.

Namost. Vissza lehet-e kapni ebből az algebrai struktúrából az 5-elemű ciklikus csoportot?

A gondolatmenet a következő: Vezessük be erre a szorzótáblára építve az a+nb műveletet, melynek eredménye c, ha ab=cn (a szorzatokat itt az én táblámban kell leolvasni). Az n természetesen a struktúra egyik rögzített eleme.

Az eljárás szépen vissza is adja az 5-elemű ciklikus csoportot. Eddig csupa derű. Csakhogy: melyik elem lesz az így visszakapott ciklikus csoport egységeleme?

Ha erre a kérdésre az átlaggal kívánsz választ adni, a következőt mondod: Most

ab = \frac{a+b}2,

tehát

a +_n b = c \leftarrow\rightarrow \frac{a+b}2 = \frac{c + n}2 \leftarrow\rightarrow c = a + b - n.

Az így kapott művelet

asszociatív, mert (a+nb)+nc=a+b+c-2n

egységelemes, egységelem az n, mert a+nn=a+n-n=a

invertálható, a inverze 2n-a

és kommutatív (ami triviális), tehát tényleg Ábel-csoport.

És - figyelem - egységeleme az n.

Na ezzel szemben ennek a táblának a származtatott +n-je így viselkedik:

Ha n = a b c d e
akkor az egységelem a e d c b

Vagyis az egységelem nem n, hanem az nx=a egyenlet megoldása (úgy is írhatnám ez esetben, hogy an-1.

Honnan van a-nak ez a kitüntetett szerepe? Úgy érzem, a táblázat teljesen szimmetrikus az öt betűre nézve. Vagy elszámoltam valamit?

Köszönöm

Károly

Előzmény: [305] 2501, 2006-07-07 10:24:38
[305] 25012006-07-07 10:24:38

> Nem úgy értettem, hogy mondjatok példát.

Sejtettem, hogy mégis rosszul értem; túl egyszerű volt. :)

Előzmény: [302] Károly, 2006-07-07 09:02:34
[304] Károly2006-07-07 09:21:00

Más: Ti hogy tanultátok a definíciót?

f felbonthatatlan, ha f = ab-ból az következik, hogy vagy f és a vagy f és b asszociáltak.

Avagy

f felbonthatatlan, ha f = ab-ből az következik, hogy vagy a vagy b egység.

Köszönöm

Károly

[303] Károly2006-07-07 09:19:22

Abbahagyva a hülyéskedést, én eddig a következőket látom:

(1) Ha a struktúra véges, akkor (1.a) A 2. axióma sima kommutativitásba megy át. (1.b) A 4. axióma tétel.

(2) Az 5. axióma független, mert van nemtriviális példa 1-4-re, úgy, hogy 5. nem teljesül.

Kösz

Károly

Előzmény: [300] Károly, 2006-07-06 16:18:33
[302] Károly2006-07-07 09:02:34

Nem úgy értettem, hogy mondjatok példát. (A példa egyébként jó.:-) Hanem úgy, hogy valaki azt mondja, hogy igen, van ilyen algebrai struktúra, korbácsnak hívják, és Vittorio d'Assistenza olasz matematikus publikált tételeket a Zeitschrift der angewandten Nabelschau-ban.

Károly

Előzmény: [301] 2501, 2006-07-06 23:26:24
[301] 25012006-07-06 23:26:24

Szervusz!

Pl.: az elemek (mondjuk) számok, a művelet pedig az átlag.

(Remélem nem néztem el semmit. :))

Előzmény: [300] Károly, 2006-07-06 16:18:33
[300] Károly2006-07-06 16:18:33

Sziasztok!

Új vagyok, ha nem jó helyen járok, irányítsatok át!

Szükségem lenne egy algebrai struktúrára, a következő axiómákkal:

1. Idempotencia: aa = a 2. "Kommutativitás": ab =?= ba (Ezt a jelölést én találtam ki; olvasd: ab, ha létezik, egyenlő ba-val. Ez amolyan "kváziművelet", nem minden ab létezik, de ha létezik, akkor ba is létezik, és egyenlő ab-vel.) 3. Megoldhatók x-re az ax = b egyenletek. 4. Az ax = a egyenlet egyetlen megoldása: x = a. 5. Hurokmentesség: (ab = c és ac = b) => b = c (És ekkor már a = b = c.)

(Asszociativitás nincs!)

Ráismertek-e valami hasonlóra? Van-e neve? Vannak-e tételek?

Köszönöm

Károly

[299] joe2006-06-02 19:48:53

138. feladat: (Ha nem tévedek.)

Azt mondjuk, hogy a k számot öröklődő n alapú számrendszerben írjuk föl, ha a k számot a következőképpen fejezzük ki: Írjuk föl a k számot (a hagyományos módon) n alapú számrendszerben, majd az együtthatókat "fejtsük ki", tehát a_i n^\alpha_i helyett írjunk ai darab összeadandót: n^\alpha_i + n^\alpha_i + ... + n^\alpha_i. Az így kapott kifejezésben minden kitevőt írjunk öröklődő n alapú számrendszerbe (tehát ismételjük meg az n alap minden kitevőjére az imént leírt eljárást; majd a kitevőkben szereplő számok kitevőire, és így tovább). Ezt az eljárást addig folytatjuk, amíg a kifejezésben csak a + jel, az n szám és a 0 szerepel (tehát az 1-et n0 -nak írhatjuk). Ez a rekurzív eljárás véges sok lépésben véget ér, és a k szám egyértelmű öröklődő n alapú számrendszerbeli alakját adja.

Definiáljuk a következő sorozatot: a0:=k, ahol k természetes szám;

Minden i természetes számra:

Ha ai-1 nem pozitív egész, a sorozatnak nincs több tagja.

Ha ai-1 pozitív egész, akkor írjuk föl azt öröklődő i+1 alapú számrendszerben; az így kapott kifejezésben MINDEN (i+1) számot cseréljünk ki (i+2)-re, számítsuk ki az így keletkezett kifejezés értékét, és az ennél eggyel kisebb számérték legyen ai.

Melyek azok a k természetes számok, melyekre a0=k esetén az ai sorozat véges?

[298] stephen2006-05-26 11:10:34

Köszönöm a választ, megnézem.

Előzmény: [297] Lóczi Lajos, 2006-05-25 15:07:12
[297] Lóczi Lajos2006-05-25 15:07:12

A

http://mathworld.wolfram.com/CoinTossing.html

http://mathworld.wolfram.com/Run.html

http://mathworld.wolfram.com/Fibonaccin-StepNumber.html

oldalakon mindenféle szép rekurziókat meg generátorfüggvényeket fogsz találni olyan kérdésekről, hogy pl. "mennyi az esélye, hogy n dobásban nincs k egymásutáni írás", vagy hogy "mennyi az esélye, hogy egy n hosszú dobássorozatban előfordul egy legalább k hosszúságú fejsorozat".

Előzmény: [296] stephen, 2006-05-25 10:04:42
[296] stephen2006-05-25 10:04:42

Nagyon érdekelne az alábbi feladat megoldása:

Feldobunk n pénzérmét. Mennyi a valószínűsége, hogy lesz legalább k egyforma (fej vagy írás) egymás mellett?

[295] nadorp2006-04-07 08:54:40

Köszi a gyors választ és a cikket. "Tisztességes" primitív függvény létezésében én sem hittem, de gondoltam, hátha vannak itt is olyan speciális integrálási határok, ahol az érték meghatározható valamilyen módszerrel ( paraméteres integrál, komplex integrál stb,mint pld. \int_0^\infty\frac{sinx}xdx=\frac\pi2 esetén)

Előzmény: [292] Lóczi Lajos, 2006-04-07 00:52:18
[294] Lóczi Lajos2006-04-07 01:48:32

Homogenitásvizsgálatot alkalmaznak akkor, ha azt szeretnék eldönteni, hogy a két minta azonos eloszlásból származik-e, de maga az eloszlás ismeretlen.

Ha tudjuk, hogy normális eloszlásból származnak a minták és ezek egymástól függetlenek, kétmintás próba alkalmazható: ha a szórás nem ismert, de feltehető, hogy azonos, akkor használnak kétmintás t-próbát.

Előzmény: [290] rizsesz, 2006-03-21 11:15:30
[293] Lóczi Lajos2006-04-07 01:09:24

A mögöttes differenciálalgebrai háttérről egy cikk, tehát, hogy mikor létezik "elemi" primitív függvény.

Előzmény: [292] Lóczi Lajos, 2006-04-07 00:52:18
[292] Lóczi Lajos2006-04-07 00:52:18

Mivel az okos szoftverek nem adnak "elemi" függvényből álló megoldást, valószínű, hogy ilyen nincs is. Az integrál, ahogyan írtad, az integrálkoszinuszfüggvénnyel kifejezhető, akár primitívfüggvényként, akár határozott integrálként fogjuk fel. (Ez pedig "egyszerűbbnek" tekinthető, mert a nevezőben nem szerepel x2, csak x.) Az, hogy a példatárba ilyen bekerül, nem baj, de figyelmeztetni illik az olvasót, hogy ne törje magát elemi függvények körében a megoldás keresésén.

Előzmény: [291] nadorp, 2006-04-06 23:21:16
[291] nadorp2006-04-06 23:21:16

Van egy kis problémám. Állítólag az egyik közgázos matek példatárban szerepel az alábbi feladat.

Határozzuk meg a következő integrál érétkét:

\int_1^\infty\frac{sinx}{x^2}

Az egzisztencia következik az abszolút konvergenciából, de ... Parciális integrálás után - a konstans tag nélkül nézve - az \int_1^\infty\frac{cosx}x integrált kapjuk, és gondom - sőt kétségem - van a zárt alak létezéséről. Bármilyen ötletet vagy forrást örömmel fogadnék.

[290] rizsesz2006-03-21 11:15:30

Sziasztok! Egy kérdés: milyen kapcsolat van a homogenitás-vizsgálat és a páros mintás t-próba között?

[289] hobbymatekos2006-03-06 18:29:21

Köszönöm a választ. Igen szép diszkusszió. Tehát pozitiv térnyolcadban az origó az egyedüli megoldás. Továbbá poz. egész koordinájú pontokban a fv étéke ha egész, akkor pontosan 5.

Előzmény: [285] lgdt, 2006-03-05 16:54:51
[288] n_viktor2006-03-05 23:42:46

Koszonom a valaszt: Vik

Előzmény: [287] Hajba Károly, 2006-03-05 20:21:29
[287] Hajba Károly2006-03-05 20:21:29

Collatz probléma

Linkek

Előzmény: [286] n_viktor, 2006-03-05 19:37:33
[286] n_viktor2006-03-05 19:37:33

Hali!

Az erdekelne, hogy a kovetkezo sejtes be van-e mar bizonyitva:

Vegyunk egy tetszoleges pozitiv egesz szamot. Ha paros osszuk el kettovel, ha paratlan szorozzuk meg 3al es adjunk hozza 1-et. A sejtes szerint veges lepesen belul mindig 1hez jutunk. Pelda:17->17.3+1=52->52:22=13->13.3+1=40->40:23=5->5.3+1=16->16:24=1

Udv: Viktor

[285] lgdt2006-03-05 16:54:51

a feladatot önkényesen változtatva (rotflmao):

ha \{a,b,\frac{a^2+b^2}{ab-1}=n\}\subset N, akkor mennyi n?

\frac{a^2+b^2}{ab-1}=n \quad iff \quad a_{1,2}=\frac{nb\pm\sqrt{b^2(n^2-4)-4n}}{2} \quad // \implies n>2

1. b>1\impliesa1<b, mert

a_1=\frac{nb\pm\sqrt{b^2(n^2-4)-4n}}{2}<\frac{nb\pm\sqrt{b^2(n-2)^2}}{2}=b, mert b2(n2-4)-4n>b2(n-2)2, mert -b2-n>-nb2+b2, mert

b^2<\frac{n}{n-2}, mert b>1 és n>2.

2. a1>0, mert a_1=\frac{nb\pm\sqrt{b^2(n^2-4)-4n}}{2}>\frac{nb\pm\sqrt{b^2 n^2}}{2}=0

3. a1b'-nek a szimmetria miatt.

ezekből következik, hogy ha létezik olyan n,b, amelyekre a is egész, akkor az b=1-gyel is jó (mert az egyre kisebb b'-kel előbb utóbb eljutunk egyig). ha b=1, és a egész, akkor \existsx:n2-4-4n=x2 (ez a megoldóképletből jön), ekkor

n_{1,2}=\frac{4\pm\sqrt{16+4(4+x^2)}}{2} = n_{1,2}=\frac{4\pm 2 \sqrt{4+4+x^2)}}{2}

d2:=4+4+x2, d2-x2=8\implies(d-x)(d+x)=8, ez csak akkor lehet, ha (d-x=1 és d+x=8) vagy (d-x=2 és d+x=4).

az első alapból nem teljesülhet, mert akkor x=3,5 lenne, így x=1 és d=3, behelyettesítve

n=\frac{4\pm 6}{2} \to n=5

Előzmény: [264] hobbymatekos, 2006-02-23 21:18:56

  [1. oldal]    [2. oldal]    [3. oldal]    [4. oldal]    [5. oldal]    [6. oldal]    [7. oldal]    [8. oldal]    [9. oldal]    [10. oldal]    [11. oldal]    [12. oldal]    [13. oldal]    [14. oldal]    [15. oldal]    [16. oldal]    [17. oldal]    [18. oldal]    [19. oldal]    [20. oldal]    [21. oldal]    [22. oldal]    [23. oldal]    [24. oldal]    [25. oldal]    [26. oldal]    [27. oldal]    [28. oldal]    [29. oldal]    [30. oldal]    [31. oldal]    [32. oldal]    [33. oldal]  

  Regisztráció    Játékszabályok    Technikai információ    Témák    Közlemények  

Támogatóink:   Ericsson   Google   Cognex   Emberi Erőforrás Támogatáskezelő   Emberi Erőforrások Minisztériuma   Nemzeti Tehetség Program  
MTA Energiatudományi Kutatóközpont   MTA Wigner Fizikai Kutatóközpont     Nemzeti
Kulturális Alap   ELTE   Morgan Stanley