Voor een ander topic (zie hier) zoek ik een methode om voor wat vermoedelijk een commutatieve ringoïde zal worden een 'verzameling van equivalentieklasse-representanten' te vinden. Dit om er voor te zorgen dat met dit systeem van equivalentieklassen op een elegante, handige en overzichtelijke manier gerekend kan worden.
Voor zulk soort problemen zal vast een standaard aanpak bestaan, maar als relatieve leek kan ik die niet vinden. Wie helpt me op weg?
Laatste berichten
-
23:25
2013 – Augustus Vraag 3
-
23:07
Rood laserlicht 2
-
23:04
Bruine vlekken op treinaanwijzerbord 5
-
15:28
Vraag 2009 Juli Vraag 5 5
-
12:51
positie 2
-
10:44
Schroefdraad berekening 8
-
24 apr
[scheikunde] Kan chloorgas de geleiding van elektriciteit belemmeren? 9
-
23 apr
Weerfrustratie 9
-
23 apr
geen minkowski-ruimte toch? Doe ik dit nou fout? 15
-
23 apr
do-re-mi-fa-so vliegtuigen 7
-
23 apr
Kunnen quantum Zonnecellen 190% quantum efficiënt zijn 3
-
23 apr
De Euro Nederlandse 100 qubit computer komt eraan
-
23 apr
projectiel 8
-
23 apr
Verschil tussen deze 2 vragen 5
-
23 apr
[scheikunde] berekeningen labo vitamine c bepaling 1
-
22 apr
[wiskunde] rode en witte ballen verdelen 8
-
22 apr
Rotatie van het heelal 41
-
22 apr
Muntje opgooien 14
-
21 apr
Reactiviteit silyl enol ethers 1
-
21 apr
Criterium voor vochtretentie
Nieuwsberichten
-
04 mar
Een nieuw soort magnetisme: altermagnetisme
-
31 okt
AI kan via stem diabetes vaststellen 11
-
21 okt
Einstein krijgt wéér gelijk 45
-
07 feb
witter dan wit 20
-
19 jun
irrigatie en de aardas
Gezocht: methode om voor commutatieve ringoïde een verzameling van equivalentieklasse-representanten te vinden
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Je voert dus equivalentieklassen in volgens de nu beschreven relatie, zonder extra regels, en voert de bewerkingen daarop door, om 'metaformele getallen' te krijgen?
Er zijn voor bekende systemen soms verschillende interessante mogelijkheden. Voor de p-adische getallen zijn er twee interessante mogelijkheden waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere (google anders misschien eens 'teichmuller representatives', wat als het 'alternatieve' systeem beschouwd kan worden als je daar meer over wil weten; ik moet zelf zeggen dat ik alleen maar weet dat het alternatieve systeem er is).
Een 'standaardaanpak' die altijd werkt is er mijns inziens niet, en er gaan dus eventueel ook meerdere mogelijkheden zijn waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere.
Hier lijkt het me niet duidelijk wat een 'standaard goede manier' is. Ik heb wel iets in mijn hoofd dat als 'vrij standaard' beschouwd kan worden, maar dat is nogal ingewikkeld en leidt niet tot wat je een 'elegant rekenen' kan noemen. Aan de andere kant is het ook goed mogelijk dat er met de metaformele getallen op deze manier geen elegant en bruikbaar systeem is.
Er zijn voor bekende systemen soms verschillende interessante mogelijkheden. Voor de p-adische getallen zijn er twee interessante mogelijkheden waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere (google anders misschien eens 'teichmuller representatives', wat als het 'alternatieve' systeem beschouwd kan worden als je daar meer over wil weten; ik moet zelf zeggen dat ik alleen maar weet dat het alternatieve systeem er is).
Een 'standaardaanpak' die altijd werkt is er mijns inziens niet, en er gaan dus eventueel ook meerdere mogelijkheden zijn waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere.
Hier lijkt het me niet duidelijk wat een 'standaard goede manier' is. Ik heb wel iets in mijn hoofd dat als 'vrij standaard' beschouwd kan worden, maar dat is nogal ingewikkeld en leidt niet tot wat je een 'elegant rekenen' kan noemen. Aan de andere kant is het ook goed mogelijk dat er met de metaformele getallen op deze manier geen elegant en bruikbaar systeem is.
Re: Gezocht: methode om voor commutatieve ringo
Juist.Je voert dus equivalentieklassen in volgens de nu beschreven relatie, zonder extra regels, en voert de bewerkingen daarop door, om 'metaformele getallen' te krijgen?
Dat ziet er niet eenvoudig uit.Er zijn voor bekende systemen soms verschillende interessante mogelijkheden. Voor de p-adische getallen zijn er twee interessante mogelijkheden waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere (google anders misschien eens 'teichmuller representatives', wat als het 'alternatieve' systeem beschouwd kan worden als je daar meer over wil weten; ik moet zelf zeggen dat ik alleen maar weet dat het alternatieve systeem er is).
Probleem is ook dat het hier geen ring betreft: zo geldt de associatieve eigenschap niet.Een 'standaardaanpak' die altijd werkt is er mijns inziens niet, en er gaan dus eventueel ook meerdere mogelijkheden zijn waarbij afhankelijk van wat je wil doen de ene de voorkeur geniet boven de andere.
De mogelijkheid dat het uiteindelijk op niets uitdraait is nog steeds aanwezig. Dat het wiskundig klopt, daar heb ik wel vertrouwen in. Maar het zou nog best op iets triviaals of juist zeer omslachtigs kunnen uitlopen. Daarom ben ik alvast wat vooruit aan het denken hoe met de metaformele getallen gerekend zou moeten/kunnen worden.Hier lijkt het me niet duidelijk wat een 'standaard goede manier' is. Ik heb wel iets in mijn hoofd dat als 'vrij standaard' beschouwd kan worden, maar dat is nogal ingewikkeld en leidt niet tot wat je een 'elegant rekenen' kan noemen. Aan de andere kant is het ook goed mogelijk dat er met de metaformele getallen op deze manier geen elegant en bruikbaar systeem is.
Alle hulp vanuit bestaande theorieën is daarbij welkom.
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
De 'ingewikkelde manier' die ik in mijn hoofd heb is een stappenplan. Dan komt er volgens mij niet iets triviaals uit, maar wel iets dat nog te omslachtig is. Ik heb het zelf wel nog niet uitgewerkt wat het wordt, en weet dus ook niet of het klopt of als het aanpassing nodig heeft. Misschien kan je het zelf eens proberen.
Begin met de distributiviteit om vermenigvuldigingen zo ver mogelijk binnen de haakjes te brengen. Gebruik wel onmiddellijk al linkse en rechtse distributiviteit.
Voer op deze 'uitdrukkingen' de inwisselbaarheid in. Vervang door reële getallen waar mogelijk. De voorwaarden op de uitdrukkingen worden strenger, maar deze worden niet fundamenteel eenvoudiger denk ik.
Het invoeren van de commutativiteit daarna houdt een notatieafspraak in voor de volgorde. Er moet dus een orde gedefinieerd worden.
Uiteindelijk krijg je volgens mij dan wel een systeem van representanten als formele getallen waarvoor specifieke voorwaarden gelden. Een soort formele uitdrukkingen met voorwaarden dus waaronder elk metaformeel getal met precies één zo'n uitdrukking overeenkomt. Maar wel een complex omslachtig systeem.
Begin met de distributiviteit om vermenigvuldigingen zo ver mogelijk binnen de haakjes te brengen. Gebruik wel onmiddellijk al linkse en rechtse distributiviteit.
Voer op deze 'uitdrukkingen' de inwisselbaarheid in. Vervang door reële getallen waar mogelijk. De voorwaarden op de uitdrukkingen worden strenger, maar deze worden niet fundamenteel eenvoudiger denk ik.
Het invoeren van de commutativiteit daarna houdt een notatieafspraak in voor de volgorde. Er moet dus een orde gedefinieerd worden.
Uiteindelijk krijg je volgens mij dan wel een systeem van representanten als formele getallen waarvoor specifieke voorwaarden gelden. Een soort formele uitdrukkingen met voorwaarden dus waaronder elk metaformeel getal met precies één zo'n uitdrukking overeenkomt. Maar wel een complex omslachtig systeem.
Re: Gezocht: methode om voor commutatieve ringo
In elk geval is het al zo dat alle formele getallen met een zelfde reële waarde ongelijk nul gelijkaardig zijn. Die reële waarde kan dan als natuurlijke keuze voor de representant dienen.
Formele getallen met reële waarde nul zitten - mag ik hopen - in tal van verschillende equivalentieklassen.
Je kan formele getallen d.m.v. boomschema's voorstellen.
De uitdrukking:
((0 . 9) . 16) + (3 + 1)
geeft dan:
De linker tak is nu een voorbeeld van een problematisch geval. Maar de orde is er vanzelf al, het zijn immers reële getallen.
In het algemene geval kan je dan takken die op een reëel getal ongelijk nul uitlopen door die reële waarde vervangen. En dat is wel te overzien. De vraag is echter, hoe weet je dat er geen eenvoudiger formeel getal (boomschema) bestaat dat gelijkaardig is.
Formele getallen met reële waarde nul zitten - mag ik hopen - in tal van verschillende equivalentieklassen.
Je kan formele getallen d.m.v. boomschema's voorstellen.
De uitdrukking:
((0 . 9) . 16) + (3 + 1)
geeft dan:
Code: Selecteer alles
0 9
\./
0 16 3 1
\./ \+/
0 4
\ + /
4In het algemene geval kan je dan takken die op een reëel getal ongelijk nul uitlopen door die reële waarde vervangen. En dat is wel te overzien. De vraag is echter, hoe weet je dat er geen eenvoudiger formeel getal (boomschema) bestaat dat gelijkaardig is.
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Maar de orde is er niet op de metaformele getallen. Niet dat het een probleem hoeft te zijn er een (eenvoudige) te vinden. Heb je het proberen uit te werken om een idee te krijgen van wat de representanten op deze manier wss gaan worden (zonder dan al direct een rigoureus bewijs te hebben dat die zekerheid biedt)?Maar de orde is er vanzelf al, het zijn immers reële getallen.
Re: Gezocht: methode om voor commutatieve ringo
Begin met de distributiviteit om vermenigvuldigingen zo ver mogelijk binnen de haakjes te brengen. Gebruik wel onmiddellijk al linkse en rechtse distributiviteit.
Die zin begrijp ik niet goed. Geef eens een voorbeeldje?
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
We willen voorwaarden zoeken waaraan we de formele getallen gaan moeten voldoen zodat voor elk metaformeel getal er precies 1 zo'n formeel getal is dat een representant is van dat metaformeel getal en aan de voorwaarden voldoet.
Na de eerste stap gaan er 'geen optellingen meer binnen vermenigvuldigingen staan' denk ik; er gaat volgens mij volgende voorwaarde naar boven komen (niet helemaal zeker): De bekomen representanten gaan formele getallen zijn die bestaan uit optellingen (met haakjes) van formele getallen die enkel uit vermenigvuldigingen (met haakjes) van reële getallen bestaan. (Ik bedoel de optelling en vermenigvuldiging die jij voorgesteld hebt door klaveren en ruiten natuurlijk.) Dus enkel nog vermenigvuldigingen binnen optellingen en geen optellingen binnen vermenigvuldigingen meer.
Na de eerste stap gaan er 'geen optellingen meer binnen vermenigvuldigingen staan' denk ik; er gaat volgens mij volgende voorwaarde naar boven komen (niet helemaal zeker): De bekomen representanten gaan formele getallen zijn die bestaan uit optellingen (met haakjes) van formele getallen die enkel uit vermenigvuldigingen (met haakjes) van reële getallen bestaan. (Ik bedoel de optelling en vermenigvuldiging die jij voorgesteld hebt door klaveren en ruiten natuurlijk.) Dus enkel nog vermenigvuldigingen binnen optellingen en geen optellingen binnen vermenigvuldigingen meer.
Re: Gezocht: methode om voor commutatieve ringo
Dat is een behoorlijk strenge voorwaarde. Er mag dan maar één optelling voorkomen, en wel als afsluitende bewerking. Ik zal wat experimenteren om te zien of ik steeds zo'n representant kan vinden.kee schreef:We willen voorwaarden zoeken waaraan we de formele getallen gaan moeten voldoen zodat voor elk metaformeel getal er precies 1 zo'n formeel getal is dat een representant is van dat metaformeel getal en aan de voorwaarden voldoet.
Na de eerste stap gaan er 'geen optellingen meer binnen vermenigvuldigingen staan'; er gaat volgens mij volgende voorwaarde naar boven komen (niet helemaal zeker): De bekomen representanten gaan formele getallen zijn die bestaan uit optellingen (met haakjes) van formele getallen die enkel uit vermenigvuldigingen (met haakjes) van reële getallen bestaan. (Ik bedoel de optelling en vermenigvuldiging die jij voorgesteld hebt door klaveren en ruiten natuurlijk.)
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Nee er zijn wel nog meer optellingen, maar ze staan allemaal aan de 'buitenkant' (dwz er komt geen vermenigvuldiging meer na, want die breng je erbinnen). Je moet het zoals in de post vermeld zien als het optellen (met haakjes) van 'groepjes' met alleen de vemenigvuldiging (met haakjes) erin. Of bedoel je dat ook?
De tweede stap, 'inwisselbaarheid' wordt dan cruciaal. Ofwel worden daar je uitdrukkingen sterk vereenvoudigd, ofwel niet (en ook niet meer bij de commutativiteit, dat is gewoon volgorde). Volgens mij is het het laatste: je blijft de complexiteit behouden denk ik en zal zo denk ik zien dat het om een complex systeem gaat waar niet elegant mee gerekend kan worden.
De tweede stap, 'inwisselbaarheid' wordt dan cruciaal. Ofwel worden daar je uitdrukkingen sterk vereenvoudigd, ofwel niet (en ook niet meer bij de commutativiteit, dat is gewoon volgorde). Volgens mij is het het laatste: je blijft de complexiteit behouden denk ik en zal zo denk ik zien dat het om een complex systeem gaat waar niet elegant mee gerekend kan worden.
Re: Gezocht: methode om voor commutatieve ringo
Waarschijnlijk gaat het toch lukken! Overal waar je een vermenigvuldiging met een som als factor ziet staan pas je de distributieve eigenschap toe (vermenigvuldig je dat uit). Dat moet voor eindige uitdrukkingen een keer stoppen, en dan staan er geen producten met een som als factor meer in.
Zulke zaken zouden voor niet-associatieve structuren toch uitgezocht moeten zijn?
Zulke zaken zouden voor niet-associatieve structuren toch uitgezocht moeten zijn?
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Ja, zoiets bedoelde ik.
De reden dat ik nu echter twijfel of volgende stappen niet voor meer vereenvoudiging kunnen zorgen is volgende:
Stel dat je hebt na stap 2, dus waarna geen directe vervangingen door reële getallen meer mogelijk zijn (ik gebruik de gewone . en + ipv de tekens):
5.0+5.0
Dan kan je opnieuw de distributiviteit toepassen, maar dan omgekeerd, en krijg je 0.(5+5)=0.10 (merk op dat commutativiteit trouwens ook geldt).
Er kan dus wel nog verder vereenvoudigd worden, terwijl ik dacht dat mss zou kunnen bewezen worden dat dat niet meer zou kunnen. De voorwaarden gaan strenger moeten zijn dan ik eerst dacht.
De reden dat ik in stappen denk is om al een aantal vereenvoudigingen te kunnen doorvoeren en er meer vat op te krijgen. Maar het is niet omdat je alle stappen hebt uitgevoerd dat je representanten hebt. Je kan bij de distributiviteit dus blijkbaar toch gewoon weer terug keren en verder gaan. Er gaan strengere voorwaarden moeten zijn voor je hopelijk ooit gaat kunnen bewijzen dat de formele getallen niet meer equivalent zijn en je dus representanten hebt.
De reden dat ik nu echter twijfel of volgende stappen niet voor meer vereenvoudiging kunnen zorgen is volgende:
Stel dat je hebt na stap 2, dus waarna geen directe vervangingen door reële getallen meer mogelijk zijn (ik gebruik de gewone . en + ipv de tekens):
5.0+5.0
Dan kan je opnieuw de distributiviteit toepassen, maar dan omgekeerd, en krijg je 0.(5+5)=0.10 (merk op dat commutativiteit trouwens ook geldt).
Er kan dus wel nog verder vereenvoudigd worden, terwijl ik dacht dat mss zou kunnen bewezen worden dat dat niet meer zou kunnen. De voorwaarden gaan strenger moeten zijn dan ik eerst dacht.
De reden dat ik in stappen denk is om al een aantal vereenvoudigingen te kunnen doorvoeren en er meer vat op te krijgen. Maar het is niet omdat je alle stappen hebt uitgevoerd dat je representanten hebt. Je kan bij de distributiviteit dus blijkbaar toch gewoon weer terug keren en verder gaan. Er gaan strengere voorwaarden moeten zijn voor je hopelijk ooit gaat kunnen bewijzen dat de formele getallen niet meer equivalent zijn en je dus representanten hebt.
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Zulke zaken zouden voor niet-associatieve structuren toch uitgezocht moeten zijn?
Wellicht wel. Misschien valt het onder 'triviaal' (hoewel het dat nu niet echt is, alhoewel mss op een goede formele manier genoteerd wel)? Ik heb geen idee. Het is nu niet dat niet-associatieve structuren zo veel onderzocht worden, verre van.
Re: Gezocht: methode om voor commutatieve ringo
Definieer de complexiteit comp(A) van een formeel getal A als de helft van het aantal haakjes.
Definieer de gereduceerde complexiteit comg(A) van een formeel getal A als de kleinste waarde van comp(B) die voor aan A gelijkaardige formele getallen B mogelijk is.
Hopelijk is dan te bewijzen dat er voor ieder formeel getal A slechts eindig veel daaraan gelijkaardige formele getallen B bestaan waarvoor comp(B) = comg(A).
Daaruit kan dan op basis van een "alfabetische" ordening en ordening naar absolute grootte (hoe kleiner hoe beter) een 'eerste onder gelijken' gekozen worden.
Definieer de gereduceerde complexiteit comg(A) van een formeel getal A als de kleinste waarde van comp(B) die voor aan A gelijkaardige formele getallen B mogelijk is.
Hopelijk is dan te bewijzen dat er voor ieder formeel getal A slechts eindig veel daaraan gelijkaardige formele getallen B bestaan waarvoor comp(B) = comg(A).
Daaruit kan dan op basis van een "alfabetische" ordening en ordening naar absolute grootte (hoe kleiner hoe beter) een 'eerste onder gelijken' gekozen worden.
-
- Berichten: 400
Re: Gezocht: methode om voor commutatieve ringo
Wat wil je daarmee doen? Een representantensysteem vinden? Dat lijkt me zo heel moeilijk, je weet absoluut niet hoe je die zo moet vinden voor een gegeven formeel getal. En als je al weet hoe, dan nog heb je geen controle over de structuur.
De orde snap ik niet. Wat bedoel je met alfabetische ordening en met absolute grootte? Ook: hebben equivalente formele getallen niet dezelfde reële waarde? (Dat zou mss bewezen kunnen worden).
Wat de uitwerking betreft die begonnen was in stappen: Ik ben er nog niet uit wat precies allemaal mogelijk is en wat niet. Mss kan je zelf verdergaan om dat uit te zoeken.
De orde snap ik niet. Wat bedoel je met alfabetische ordening en met absolute grootte? Ook: hebben equivalente formele getallen niet dezelfde reële waarde? (Dat zou mss bewezen kunnen worden).
Wat de uitwerking betreft die begonnen was in stappen: Ik ben er nog niet uit wat precies allemaal mogelijk is en wat niet. Mss kan je zelf verdergaan om dat uit te zoeken.
