On noncontinuous bisymmetric strictly monotone operations

Dit artikel presenteert de constructie van niet-continuïteit, strikt stijgende en bisymmetrische binaire operaties op reële intervallen, waarmee wordt aangetoond dat continuïteit kan ontbreken voor niet-reflexieve operaties van het type $F(x,y)=f^{-1}(\alpha f(x)+\beta f(y))$, terwijl tevens wordt bewezen dat reflexiviteit op twee punten wel continuïteit en overeenstemming met een quasi-aritmetisch gemiddelde garandeert.

De kern

Stel je voor dat je een wiskundige machine hebt die twee getallen neemt en er één nieuw getal van maakt. Laten we deze machine F noemen. Als je twee dezelfde getallen invoert (bijvoorbeeld 5 en 5), zou je verwachten dat de machine ook 5 teruggeeft. Dit noemen we in de wiskunde reflexiviteit. Het is als een spiegel: als je voor de spiegel staat, zie jij jezelf.

Nu is er een heel specifieke, strenge regel die deze machine moet volgen, genaamd bisymmetrie. Dit klinkt ingewikkeld, maar het is eigenlijk een soort "uitwisselingsregels" voor de machine. Stel je voor dat je vier vrienden hebt: A, B, C en D.

• Als A en B samenwerken, en C en D samenwerken, en dan de resultaten van die twee groepen weer samenvoegen...
• Dan moet dat precies hetzelfde resultaat geven als wanneer A en C eerst samenwerken, B en D eerst samenwerken, en die resultaten weer samenvoegen.

Het is alsof je een puzzel oplost: de volgorde waarin je de stukjes aan elkaar plakt, maakt voor het eindresultaat niet uit, zolang je maar dezelfde stukjes gebruikt.

Het grote mysterie
In de wiskunde hebben wetenschappers al decennia lang gedacht dat als je zo'n machine hebt die:

1. Altijd een groter getal geeft als je grotere getallen invoert (strikt stijgend),
2. En die bisymmetrie-regel volgt,
   ...dan de machine altijd glad en voorspelbaar zou moeten werken. Dat wil zeggen: als je de knoppen heel langzaam verdraait, zou het resultaat ook heel langzaam veranderen. Er zouden geen sprongen of gaten in de grafiek mogen zitten. Dit noemen we continuïteit.

Tot nu toe dachten ze dat dit een wet van de natuur was. Maar in dit paper, geschreven door Gergely Kiss, wordt die wet gebroken.

De ontdekking: De machine met gaten
Kiss heeft een manier gevonden om zo'n machine te bouwen die niet continu is. Het is alsof je een trap bouwt die er normaal uitziet, maar als je erop loopt, blijf je soms ineens hangen of val je door een gat, zonder dat je het merkt tot je erop staat.

Hoe heeft hij dit gedaan?
Hij gebruikte een heel speciaal soort "zand" om zijn machine te bouwen. In plaats van gewoon zand (alle reële getallen), gebruikte hij een heel dunne, ingewikkelde hoop zandkorrels die zo verspreid liggen dat er geen enkel stukje aaneengesloten zand is. Dit noemen wiskundigen een Cantor-achtige verzameling. Het is als een fractal: een vorm die overal gaten heeft, hoe klein je ook kijkt.

• De constructie: Hij nam deze gatenrijke verzameling en bouwde zijn machine (F) zo, dat hij alleen maar op deze gatenrijke getallen werkt.
• Het resultaat: Omdat de ondergrond (de getallen) zelf vol gaten zit, kan de machine niet "glad" werken. Als je de invoer heel klein verandert, kan het resultaat ineens een heel stuk springen, omdat je over een gat springt.
• De verrassing: Deze machine volgt alle regels (bisymmetrie, stijgend), maar is niet continu. Dit betekent dat de oude wiskundige regels die continuïteit aannamen, eigenlijk een extra voorwaarde nodig hadden: de machine moet reflexief zijn (5 en 5 moet 5 opleveren).

De twee uitersten
Het paper laat twee heel verschillende werelden zien:

1. De wilde wereld (zonder reflexiviteit): Als je de machine niet verplicht om "5 en 5 = 5" te doen, kun je deze wilde, gatenrijke machines bouwen. Ze zijn wiskundig correct, maar chaotisch en niet voorspelbaar. Ze zijn als een berg die eruitziet als een gladde helling, maar vol met afgronden zit.
2. De strenge wereld (met twee reflexieve punten): Als je de machine dwingt om op twee verschillende plekken "spiegelend" te werken (bijvoorbeeld: 2 en 2 = 2, én 8 en 8 = 8), dan gebeurt er iets magisch. De machine wordt plotseling gedwongen om continu te worden. Alle gaten verdwijnen en de machine wordt een perfecte, gladde lijn. Het is alsof je twee ankers in de grond slaat; de hele lijn tussen die ankers moet dan recht en glad worden.

Waarom is dit belangrijk?
Dit paper is belangrijk omdat het de grenzen van onze wiskundige kennis verlegt.

• Het laat zien dat je niet zomaar kunt aannemen dat iets "glad" is, alleen omdat het bepaalde regels volgt.
• Het laat zien dat reflexiviteit (het spiegel-effect) een heel sterke kracht is. Als je het op twee plekken hebt, is het genoeg om de hele machine te "repareren" en voorspelbaar te maken.
• Het geeft wiskundigen een nieuwe uitdaging: Kunnen we bewijzen dat als een machine op één punt spiegelend is, hij dan ook glad wordt? (Het paper suggereert dat één punt misschien niet genoeg is, maar twee punten wel).

Samenvattend in een metafoor:
Stel je voor dat je een brug bouwt (de wiskundige machine).

• De oude wetenschappers dachten: "Als de brug sterk is (bisymmetrie) en steil omhoog gaat (stijgend), dan moet hij ook glad zijn."
• Gergely Kiss zegt: "Nee, kijk hier! Ik heb een brug gebouwd die sterk is en omhoog gaat, maar hij zit vol met gaten en is niet glad. Ik heb alleen maar vergeten om de brug vast te maken aan de oever (reflexiviteit)."
• Maar als je de brug op twee plekken vastmaakt aan de oever, dan wordt de brug vanzelf glad en perfect.

Dit paper is dus een waarschuwing voor wiskundigen: "Pas op met aannames over gladheid, tenzij je zeker weet dat je machine op de juiste plekken vastzit."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On noncontinuous bisymmetric strictly monotone operations" van Gergely Kiss, geschreven in het Nederlands.

Titel: Over niet-continue bisymmetrisch strikt monotoon operaties

Auteur: Gergely Kiss
Trefwoorden: Bisymmetrie, associativiteit, reflexiviteit, symmetrie, strikte monotonie, binaire en n-ary operaties.

---

1. Probleemstelling en Achtergrond

De theorie van binaire operaties op reële intervallen, met name in de context van gemiddelden (means), heeft een lange geschiedenis die teruggaat tot het werk van J. Aczél. Een centrale rol wordt gespeeld door de bisymmetrie-vergelijking:
$$F(F(x, y), F(u, v)) = F(F(x, u), F(y, v))$$
Historisch gezien is bewezen dat een continue, symmetrische, strikt monotoon en reflexieve bisymmetrische operatie noodzakelijkerwijs een quasi-aritmetisch gemiddelde is van de vorm $F(x, y) = f^{-1}(\frac{f(x)+f(y)}{2})$, waarbij $f$ een continue strikt monotone functie is.

Eerder onderzoek (o.a. Burai, Kiss, Szokol) heeft aangetoond dat in het symmetrische en reflexieve geval de continuïteit automatisch volgt uit de andere eigenschappen (bisymmetrie, symmetrie, strikte monotonie). Dit suggereerde dat bisymmetrie een "regulariserend" effect heeft.

Het centrale probleem van dit artikel is echter de rol van reflexiviteit en continuïteit in het niet-reflexieve geval. De vraag is: gelden de regulariteitsresultaten (zoals continuïteit) ook als de operatie niet-reflexief is ($F(x,x) \neq x$)? Specifiek wordt onderzocht of bisymmetrie en strikte monotonie voldoende zijn om continuïteit af te dwingen, of dat er tegenvoorbeelden bestaan.

---

2. Methodologie

De auteur gebruikt een constructieve aanpak gebaseerd op de theorie van Cantor-achtige verzamelingen en lineaire onafhankelijkheid over getallenlichamen.

De constructie:

1. Selectie van een basisveld: Er wordt een aftelbaar deellichaam $\mathbb{F}$ van $\mathbb{R}$ gekozen (bijv. gegenereerd door de parameters $\alpha, \beta$ en $\mathbb{Q}$).
2. Cantor-achtige verzameling: Er wordt een perfecte, nergens dichte verzameling $H_0$ geconstrueerd die lineair onafhankelijk is over $\mathbb{F}$. Dit betekent dat geen enkele eindige lineaire combinatie van elementen uit $H_0$ met coëfficiënten uit $\mathbb{F}$ (behalve de triviale) nul is.
3. Iteratieve expansie: Er wordt een verzameling $H$ gedefinieerd door iteratief lineaire combinaties toe te passen: $H_{i+1} = H_i \cup (\alpha H_i + \beta H_i)$. Door de keuze van $\alpha + \beta \neq 1$ en de lineaire onafhankelijkheid, blijft $H$ een "fractale" structuur zonder intervallen (nowhere dense).
4. Genererende functie: Een strikt stijgende bijectie $f$ wordt gedefinieerd die een interval $I$ afbeeldt op een deelverzameling $H_1$ van $H$ (waarbij randpunten van de gaten in $H$ zijn verwijderd om de operatie goed gedefinieerd te houden).
5. Definitie van de operatie: De operatie wordt gedefinieerd als een gewogen quasi-som:
   $$F(x, y) = f^{-1}(\alpha f(x) + \beta f(y))$$
   Omdat het domein van $f$ ($H_1$) een nergens dichte verzameling is, is de inverse $f^{-1}$ niet continu, wat leidt tot een discontinu $F$.

---

3. Belangrijkste Bijdragen en Resultaten

A. Constructie van Discontinue Operaties (Hoofdstuk 3)

Het paper presenteert een expliciet tegenvoorbeeld dat de volgende stelling bewijst:

• Voor elke paar reële getallen $0 < \alpha \leq \beta$met$\alpha + \beta \neq 1$, bestaat er een bisymmetrische, strikt stijgende binaire operatie$F$op een interval$I$ die niet continu is.
• Sterk resultaat: Niet alleen is $F$ discontinu, maar elke doorsnede (sectie) $F(x_0, \cdot)$ en $F(\cdot, y_0)$ is discontinu op het hele interval.
• Symmetrie en Associativiteit:
  • Als $\alpha = \beta$, is de operatie ook symmetrisch.
  • Als $\alpha = \beta = 1$, is de operatie associatief. Dit beantwoordt een open vraag over Aczél's stelling voor associatieve quasi-sommen: continuïteit kan niet worden weggelaten.

B. Eén-punts Reflexiviteit (Opmerking 3.9)

De constructie kan worden aangepast zodat de operatie reflexief is op één enkel punt (bijvoorbeeld $F(0,0)=0$), terwijl deze overal anders discontinu blijft. Dit toont aan dat één reflexief punt niet voldoende is om continuïteit af te dwingen.

C. Multivariate Uitbreiding (Hoofdstuk 4)

De constructie wordt uitgebreid naar $n$-variabele operaties van de vorm:
$$F(x_1, \dots, x_n) = f^{-1}\left(\sum_{i=1}^n \alpha_i f(x_i)\right)$$
Zolang $\sum \alpha_i \neq 1$, zijn deze operaties bisymmetrisch, strikt monotoon, maar discontinu. Ook hier geldt dat continuïteit niet automatisch volgt, zelfs niet bij volledige symmetrie.

D. Twee-punts Reflexiviteit en Continuïteit (Hoofdstuk 5)

In tegenstelling tot het niet-reflexieve geval, bewijst het artikel een sterk rigide resultaat voor het symmetrische geval met twee reflexieve punten:

• Stelling 5.1: Als een bisymmetrische, symmetrische, strikt stijgende operatie $F$ reflexief is op twee verschillende punten $a$ en $b$ (d.w.z. $F(a,a)=a$ en $F(b,b)=b$), dan is $F$ noodzakelijkerwijs continu op het interval $[a, b]$ en is het een quasi-aritmetisch gemiddelde op dat interval.
• Dit creëert een scherp contrast: één reflexief punt is te zwak, maar twee reflexieve punten (in combinatie met symmetrie) zijn voldoende om continuïteit en een specifieke algebraïsche structuur af te dwingen.

---

4. Significatie en Conclusies

1. Beperking van Bisymmetrie: De paper toont aan dat bisymmetrie en strikte monotonie, zonder de aanname van reflexiviteit, geen regulariteit (zoals continuïteit) garanderen. De structuur van dergelijke operaties kan "wild" zijn.
2. Noodzaak van Continuïteitsaannames: De resultaten bevestigen dat de continuïteitsvoorwaarde in Aczél's karakteriseringstheorema's voor quasi-sommen en associatieve operaties essentieel is en niet kan worden afgeleid uit de andere algebraïsche eigenschappen in het niet-reflexieve geval.
3. De Rol van Reflexiviteit: Er wordt een fundamenteel onderscheid gemaakt tussen het niet-reflexieve en het reflexieve regime.
   • Niet-reflexief: Discontinue, pathologische voorbeelden zijn mogelijk.
   • Reflexief (twee punten): Sterke regulariteit en continuïteit volgen automatisch.
4. Open Vragen: Het paper formuleert belangrijke open problemen, zoals of een globale reflexiviteit (op het hele interval) in combinatie met bisymmetrie en monotonie continuïteit garandeert (zonder expliciete symmetrie-aanname). Dit blijft een centraal open probleem in de theorie.

Samenvattend: Dit werk legt de grenzen bloot van de regulariserende kracht van bisymmetrie. Het bewijst dat zonder reflexiviteit de theorie van quasi-aritmetische gemiddelden niet kan worden uitgebreid naar discontinu geval, maar dat lokale reflexiviteit (op twee punten) wel een sterke "gladmakende" werking heeft.