[size=150]D[/size]e formule voor natuurlijke machten van een tweesporig getal a~b luidt:

[tex] (a \sim b)^n \, = \left (\frac{(a + b)^n \, + \, (a - b)^n}{2} \right ) \sim \left (\frac{(a + b)^n \, - \, (a - b)^n}{2} \right ) [/tex] .

Deze uitdrukking inspireert ons tot een tweesporige generalisatie van reële functies.

[size=150]V[/size]oor alle functies f van [b]R[/b] naar [b]R[/b] definiëren we de [i]tweesporige generalisatie[/i] f* van [b]T[/b] naar [b]T[/b] aldus:

[tex] f^*(a \sim b) \, = \left (\frac{f(a + b) \, + \, f(a - b)}{2} \right ) \sim \left (\frac{f(a + b) \, - \, f(a - b)}{2} \right ) [/tex] .

[size=150]V[/size]oor alle reële functies f van [b]R[/b] naar [b]R[/b], reële getallen r en tweesporige getallen x geldt:

rw(f*(x)) = f(rw(x)) ,

aw(f*(x)) = f(aw(x)) ,

f*(rep([size=85]r[/size])) = rep(f([size=85]r[/size])) .

Bewijs:

Voor alle reële functies f van [b]R[/b] naar [b]R[/b], reële getallen r en tweesporige getallen x = a~b geldt:

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, \mbox{rw} \left ( \left (\frac{f(a + b) \, + \, f(a - b)}{2} \right ) \sim \left (\frac{f(a + b) \, - \, f(a - b)}{2} \right ) \right ) [/tex]

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, \frac{f(a + b) \, + \, f(a - b)}{2} \, - \, \frac{f(a + b) \, - \, f(a - b)}{2} [/tex]

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, \frac{(f(a + b) \, + \, f(a - b)) \, - \, (f(a + b) \, - \, f(a - b))}{2} [/tex]

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, \frac{2 . f(a - b)}{2} [/tex]

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, f(a - b) [/tex]

[tex] \mbox{rw}(f^*(a \sim b)) \, = \, f(\mbox{rw}(a \sim b)) [/tex] .

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, \mbox{aw} \left ( \left (\frac{f(a + b) \, + \, f(a - b)}{2} \right ) \sim \left (\frac{f(a + b) \, - \, f(a - b)}{2} \right ) \right ) [/tex]

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, \frac{f(a + b) \, + \, f(a - b)}{2} \, + \, \frac{f(a + b) \, - \, f(a - b)}{2} [/tex]

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, \frac{(f(a + b) \, + \, f(a - b)) \, + \, (f(a + b) \, - \, f(a - b))}{2} [/tex]

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, \frac{2 . f(a + b)}{2} [/tex]

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, f(a + b) [/tex]

[tex] \mbox{aw}(f^*(a \sim b)) \, = \, f(\mbox{aw}(a \sim b)) [/tex] .

[tex] f^*( \mbox{rep}( r)) \, = \, f^*( r \sim 0 ) [/tex]

[tex] f^*( \mbox{rep}( r)) \, = \, \left (\frac{f(r + 0) \, + \, f(r - 0)}{2} \right ) \sim \left (\frac{f(r + 0) \, - \, f(r - 0)}{2} \right ) [/tex]

[tex] f^*( \mbox{rep}( r)) \, = \, \left (\frac{f( r) \, + \, f( r)}{2} \right ) \sim \left (\frac{f( r) \, - \, f( r)}{2} \right ) [/tex]

[tex] f^*( \mbox{rep}( r)) \, = \, \left (\frac{2 . f( r)}{2} \right ) \sim \left ( \frac{0}{2} \right ) [/tex]

[tex] f^*( \mbox{rep}( r)) \, = \, (f( r)) \sim (0) [/tex]

[tex] f^*( \mbox{rep}( r)) \, = \, \mbox{rep}(f( r)) [/tex] .

[size=150]H[/size]iermee is de basis voor de theorie van de tweesporige getallen gelegd. Vanaf hier zou je in allerlei richtingen verder kunnen gaan...

[size=150]V[/size]oor alle tweesporige getallen a~b en positieve natuurlijke getallen n geldt:

[tex] (a \sim b)^n \, = \left (\frac{(a + b)^n \, + \, (a - b)^n}{2} \right ) \sim \left (\frac{(a + b)^n \, - \, (a - b)^n}{2} \right ) [/tex] .

Bewijs:

Laat a~b een willekeurig tweesporig getal zijn en n een willekeurig positief natuurlijk getal. We schrijven:

c~d = (a~b)[sup]n[/sup] .

Dan vinden we:

c - d = rw(c~d) = rw((a~b)[sup]n[/sup]) = (rw(a~b))[sup]n[/sup] = (a - b)[sup]n[/sup] ,

c + d = aw(c~d) = aw((a~b)[sup]n[/sup]) = (aw(a~b))[sup]n[/sup] = (a + b)[sup]n[/sup] .

Zodat:

[tex] 2.c = (a - b)^n \, + \, (a + b)^n [/tex]

[tex] c = \frac{(a + b)^n \, + \, (a - b)^n}{2} [/tex] .

[tex] 2.d = (a + b)^n \, - \, (a - b)^n [/tex]

[tex] d = \frac{(a + b)^n \, - \, (a - b)^n}{2} [/tex] .

[tex] (a \sim b)^n \, = c \sim d [/tex]

[tex] (a \sim b)^n \, = \left (\frac{(a + b)^n \, + \, (a - b)^n}{2} \right ) \sim \left (\frac{(a + b)^n \, - \, (a - b)^n}{2} \right ) [/tex] .

[size=150]V[/size]oor alle tweesporige getallen x en positieve natuurlijke getallen n geldt:

aw(x[sup]n[/sup]) = (aw(x))[sup]n[/sup] .

Bewijs:

Laat x een willekeurig tweesporig getal zijn. Voor n=1 komt er:

aw(x[sup]1[/sup]) = aw(x) = (aw(x))[sup]1[/sup] .

Voor n=1 gaat de te bewijzen stelling dus op.

Neem nu aan dat de stelling voor n juist is. Dan vinden we:

aw(x[sup]n[/sup]) = (aw(x))[sup]n[/sup]

aw(x[sup]n[/sup]) . aw(x) = (aw(x))[sup]n[/sup] . aw(x)

aw(x[sup]n[/sup] . x) = (aw(x))[sup]n+1[/sup]

aw(x[sup]n+1[/sup]) = (aw(x))[sup]n+1[/sup] .

Als de stelling voor n klopt, dan is deze dus ook correct voor n+1.

Hiermee is de stelling bewezen.

[size=150]V[/size]oor alle tweesporige getallen x en positieve natuurlijke getallen n definiëren we de [i]natuurlijke machten[/i] van x aldus:

x[sup]1[/sup] = x ,

x[sup]n+1[/sup] = x[sup]n[/sup] . x .

[size=150]V[/size]oor alle tweesporige getallen x en positieve natuurlijke getallen n geldt dat:

rw(x[sup]n[/sup]) = (rw(x))[sup]n[/sup] .

Bewijs:

Laat x een willekeurig tweesporig getal zijn. Voor n=1 vinden we:

rw(x[sup]1[/sup]) = rw(x) = (rw(x))[sup]1[/sup] .

Voor n=1 gaat de te bewijzen stelling dus al vast op.

Neem nu aan dat de stelling voor een zekere n opgaat. Dan vinden we:

rw(x[sup]n[/sup]) = (rw(x))[sup]n[/sup]

rw(x[sup]n[/sup]) . rw(x) = (rw(x))[sup]n[/sup] . rw(x)

rw(x[sup]n[/sup] . x) = (rw(x))[sup]n+1[/sup]

rw(x[sup]n+1[/sup]) = (rw(x))[sup]n+1[/sup] .

Als de te bewijzen stelling voor een zekere n klopt, dan is deze dus ook juist voor n+1.

Hiermee is de stelling door middel van volledige inductie bewezen.

[size=150]V[/size]oor alle reële getallen x geldt:

[tex] \mbox{rep}(x) \sim \mbox{rep}(x) \, = \, x \sim x [/tex] ,

[tex] \mbox{rep}(x) + \mbox{rep}(-x) \, = \, 0 \sim 0 [/tex] .

(Het luistert dus heel nauw hoe we een reële onbepaalde vorm in een uitdrukking met tweesporige getallen omzetten!)

Bewijs:

[tex] \mbox{rep}(x) \, \sim \, \mbox{rep}(x) \,\, = (x \sim 0) \, \sim \, (x \sim 0) [/tex]

[tex] \mbox{rep}(x) \, \sim \, \mbox{rep}(x) \,\, = (x + 0) \, \sim \, (0 + x) [/tex]

[tex] \mbox{rep}(x) \, \sim \, \mbox{rep}(x) \,\, = x \sim x [/tex] .

[tex] \mbox{rep}(x) \, + \, \mbox{rep}(-x) \,\, = (x \sim 0) \, + \, ((-x) \sim (0)) [/tex]

[tex] \mbox{rep}(x) \, + \, \mbox{rep}(-x) \,\, = (x + -x) \, \sim \, (0 + 0) [/tex]

[tex] \mbox{rep}(x) \, + \, \mbox{rep}(-x) \,\, = 0 \sim 0 [/tex] .

[size=150]V[/size]oor alle nulwaardige getallen a~a en b~b ongelijk aan dubbelnul geldt:

[tex] (a \sim a) \,\, /_n \,\,\, (b \sim b) \,\, = \,\, \left ( \frac{ 4 . a . b \, + \, \frac{a}{b} }{2} \right ) \, \sim \left ( \frac{ 4 . a . b \, - \, \frac{a}{b} }{2} \right ) [/tex] ,

[tex] \mbox{rw}( (a \sim a) \,\, /_n \,\,\, (b \sim b) ) \,\, = \,\, \frac{a}{b} [/tex] ,

[tex] \mbox{aw}( (a \sim a) \,\, /_n \,\,\, (b \sim b ) ) \,\, = \,\, 4 . a . b [/tex] .

Bewijs:

Voor alle nulwaardige getallen a~a en b~b ongelijk aan dubbelnul geldt:

[tex] \frac{ \mbox{ow}_n(a \sim a)}{ \mbox{ow}_n(b \sim b)} \, = \, \frac{ \, \frac{a}{n} \, }{ \, \frac{b}{n} \, } [/tex]

[tex] \frac{ \mbox{ow}_n(a \sim a)}{ \mbox{ow}_n(b \sim b)} \, = \, \frac{a}{b} [/tex] .

[tex] ( \mbox{aw}(a \sim a)) \, . \, ( \mbox{aw}(b \sim b) ) \, = \,\, (a + a) \, . \, (b + b) [/tex]

[tex] ( \mbox{aw}(a \sim a)) \, . \, ( \mbox{aw}(b \sim b) ) \, = \,\, (2 . a) . (2 . b) [/tex]

[tex] ( \mbox{aw}(a \sim a)) \, . \, ( \mbox{aw}(b \sim b) ) \, = \,\, 4 . a . b [/tex] .

[tex] (a \sim a) \, /_n \,\, (b \sim b) \, = \, \mbox{tv} \left ( \frac{ \mbox{ow}_n(a \sim a) }{ \mbox{ow}_n (b \sim b) } \,\, , \,\, \mbox{aw}(a \sim a) \, . \, \mbox{aw}(b \sim b) \right ) [/tex]

[tex] ( a \sim a) \, /_n \,\, (b \sim b) \, = \, \mbox{tv} \left ( \frac{ a }{ b } \,\, , \,\, 4 . a . b \right ) [/tex] .

En derhalve:

[tex] ( a \sim a) \, /_n \,\, (b \sim b) \, = \, \left ( \frac{4 . a . b \, + \, \frac{ a }{ b }}{2} \right ) \, \sim \, \left ( \frac{ 4 . a . b \, - \, \frac{ a }{ b } }{2} \right ) [/tex] .

[tex] \mbox{rw}(( a \sim a) \, /_n \,\, (b \sim b)) \, = \, \mbox{rw} \left (\mbox{tv} \left ( \frac{ a }{ b } \,\, , \,\, 4 . a . b \right ) \right ) [/tex]

[tex] \mbox{rw}(( a \sim a) \, /_n \,\, (b \sim b)) \, = \, \frac{ a }{ b } [/tex] .

[tex] \mbox{aw}(( a \sim a) \, /_n \,\, (b \sim b)) \, = \, \mbox{aw} \left (\mbox{tv} \left ( \frac{ a }{ b } \,\, , \,\, 4 . a . b \right ) \right ) [/tex]

[tex] \mbox{aw}(( a \sim a) \, /_n \,\, (b \sim b)) \, = \, 4 . a . b [/tex] .

[size=150]V[/size]oor alle reële getallen r definiëren we de [i]representant[/i] rep([size=85]r[/size]) als:

[tex] \mbox{rep}( r) \, = \, \mbox{tv}(r,r) [/tex]

Dit is dus een tweesporig getal.

Uitwerking geeft:

[tex] \mbox{rep}( r) \, = \, \left ( \frac{r + r}{2} \right ) \, \sim \, \left ( \frac{r - r}{2} \right ) [/tex]

[tex] \mbox{rep}( r) \, = \, \left ( \frac{2.r}{2} \right ) \, \sim \, \left ( \frac{0}{2} \right ) [/tex]

[tex] \mbox{rep}( r) \, = \, r \sim 0 [/tex] .

[size=150]D[/size]e intuïtieve achtergrond van deze definitie is als volgt. Met behulp van de tweesporige versie vinden we voor ieder reëel getal r oneindig veel tweesporige getallen tv(r,s) met als reële waarde rw(tv(r,s)) = r. Is er daaronder nu één tweesporig getal tv(r,s) dat r intuïtief gesproken bij uitstek representeert? Omdat a~b intuïtief eigenlijk staat voor a - b , en we steeds als heuristisch principe hanteren dat a - a = a . (1 - 1) , zou voor de representatie bij uitstek tv(r,s) van r moeten gelden dat:

[tex] r \sim r \, = \, \mbox{tv}(r,s) \, . \, (1 \sim 1) [/tex]

[tex] r \sim r \, = \left ( \left ( \frac{s + r}{2} \right ) \, \sim \, \left ( \frac{s - r}{2} \right ) \right ) . \, (1 \sim 1) [/tex]

[tex] r \sim r \, = \left ( \frac{s + r}{2} \, . \, 1 \, + \, \frac{s - r}{2} \, . \, 1 \right ) \, \sim \, \left ( \frac{s + r}{2} \, . \, 1 \, + \, \frac{s - r}{2} \, . \, 1 \right ) [/tex]

[tex] r \sim r \, = \left ( \frac{s + r}{2} \, + \, \frac{s - r}{2} \right ) \, \sim \, \left ( \frac{s + r}{2} \, + \, \frac{s - r}{2} \right ) [/tex]

[tex] r \sim r \, = \, \frac{(s + r) \, + \, (s - r)}{2} \, \sim \, \frac{(s + r) \, + \, (s - r)}{2} [/tex]

[tex] r \sim r \, = \, \frac{s + s}{2} \, \sim \, \frac{s + s}{2} [/tex]

[tex] r \sim r \, = \, s \sim s [/tex]

[tex] r = s [/tex] .

Als representatie bij uitstek van r, kortweg de representant rep([size=85]r[/size]), kiezen we daarom: tv(r,r) .

[size=150]O[/size]nder de [i]nulwaardige getallen[/i] of [i]nulwaardigen[/i] binnen het systeem van de tweesporige getallen verstaan we juist die tweesporige getallen a~b waarvoor rw(a~b) = 0.

Verder weten we al dat:

[tex] \mbox{rw}(a \sim b) = 0 \Leftrightarrow a - b = 0 \Leftrightarrow a = b [/tex] .

Dus zijn de nulwaardige getallen precies die tweesporige getallen a~b waarvoor a=b.

Een bijzonder nulwaardig getal is 0~0. Dit tweesporige getal noemen we [i]dubbelnul[/i]. Er geldt:

a~b + 0~0 = (a+0)~(b+0) = a~b ,

a~b ~ 0~0 = (a+0)~(b+0) = a~b ,

a~b . 0~0 = (a.0 + b.0)~(a.0 + b.0) = 0~0 .

Dubbelnul gedraagt zich exact als de gewone nul binnen de reële getallen, en vermenigvuldiging met dubbelnul is dan ook onherroepelijk.

[size=150]V[/size]oor de n-de ontnulde waarde ow[sub]n[/sub](a~b) geldt:

[tex] \mbox{ow_n}(a \sim b) = \left \{ \begin{array}{rcl} a - b & \mbox{als} & a \neq b \\ \\ \frac{a}{n} & \mbox{als} & a = b \,\, \& \,\, a \neq 0 \\ \\ \frac{1}{n^2} & \mbox{als} & a = b \,\, \& \,\, a = 0 [/tex]

Met een dergelijke deelsgewijze gedefinieerde functie rekent het nogal lastig. Dit probleem valt aanzienlijk te verlichten met behulp van een reële versie van de Kroneckerdelta. Dit vormt de aanleiding voor de hieronder staande definitie en identiteit.

[size=150]V[/size]oor alle reële getallen x spreken we af dat:

[tex] \mbox{rd}(x) = \left \{ \begin{array}{rcl} 1 & \mbox{als} & x = 0 \\ 0 & \mbox{als} & x \neq 0 [/tex]

Daarmee kunnen we dan schrijven:

[tex] \mbox{ow_n}(a \sim b) \,\, = \,\, (a - b) \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{\mbox{rd}(a)}{n^2} \right ) . \, \mbox{rd}(a - b) [/tex] .

Bewijs:

Laat:

[tex] f(a,b,n) \,\, = \,\, (a - b) \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{\mbox{rd}(a)}{n^2} \right ) . \, \mbox{rd}(a - b) [/tex] .

Dan vinden we (waarbij we met v voor het gemak een getal ongelijk aan nul aanduiden):

[i]Voor a ;) b:[/i]

[tex] f(a,b,n) \,\, = \,\, (a - b) \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{\mbox{rd}(a)}{n^2} \right ) . \, \mbox{rd}(v) [/tex]

[tex] f(a,b,n) \,\, = \,\, (a - b) \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{\mbox{rd}(a)}{n^2} \right ) . \, 0 [/tex]

[tex] f(a,b,n) \,\, = \,\, a - b [/tex] .

[i]Voor a = b & a :P 0 :[/i]

[tex] f(a,b,n) \,\, = \,\, (a - a) \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{\mbox{rd}(v)}{n^2} \right ) . \, \mbox{rd}(a - a) [/tex]

[tex] f(a,b,n) \,\, = \,\, 0 \,\, + \,\, \left ( \frac{a}{n} \, + \, \frac{0}{n^2} \right ) . \, \mbox{rd}(0) [/tex]

[tex] f(a,b,n) \,\, = \,\, \left ( \frac{a}{n} \, + \, 0 \right ) . \, 1 [/tex]

[tex] f(a,b,n) \,\, = \,\, \frac{a}{n} [/tex] .

[i]Voor a = b & a = 0 :[/i]

[tex] f(a,b,n) \,\, = \,\, (a - a) \,\, + \,\, \left ( \frac{0}{n} \, + \, \frac{\mbox{rd}(0)}{n^2} \right ) . \, \mbox{rd}(a - a) [/tex]

[tex] f(a,b,n) \,\, = \,\, 0 \,\, + \,\, \left ( 0 \, + \, \frac{1}{n^2} \right ) . \, \mbox{rd}(0) [/tex]

[tex] f(a,b,n) \,\, = \frac{1}{n^2} \, . \, 1 [/tex]

[tex] f(a,b,n) \,\, = \,\, \frac{1}{n^2} [/tex] .

Zodat:

[tex] \mbox{ow_n}(a \sim b) \, = \, f(a,b,n) [/tex] .

Waarmee het bewijs voltooid is.

[size=150]V[/size]oor alle tweesporige getallen x en y verstaan we onder het [i]n-de ontnulde quotiënt[/i] x /[sub]n[/sub] y het tweesporige getal:

[tex] x \, /_n \,\, y \, = \, \mbox{tv} \left ( \frac{ \mbox{ow}_n(x) }{ \mbox{ow}_n (y) } \,\, , \,\, \mbox{aw}(x) \, . \, \mbox{aw}(y) \right ) [/tex] .

[size=150]D[/size]eze definitie vloeit voort uit de onderstaande overwegingen. Voor tweesporige getallen x en y geldt steeds:

rw(x + y) = rw(x) + rw(y) ,

rw(x ~ y) = rw(x) - rw(y) ,

rw(x . y) = rw(x) . rw(y) .

aw(x + y) = aw(x) + aw(y) ,

aw(x ~ y) = aw(x) + aw(y) ,

aw(x . y) = aw(x) . aw(y) .

Dit patroon volgend zouden we (bij rw(y) ;) 0) graag hebben:

rw(x / y) = rw(x)/rw(y) .

aw(x / y) = aw(x) . aw(y) .

Dit is aldus te realiseren:

x / y = tv( rw(x)/rw(y) , aw(x).aw(y) ) .

Maar de deling rw(x)/rw(y) zal voor sommige combinaties van tweesporige getallen tot problemen leiden. Zulke problemen zijn te voorkomen wanneer we rw(x)/rw(y) door ow[sub]n[/sub](x)/ow[sub]n[/sub](y) vervangen.

[size=150]V[/size]oor alle tweesporige getallen a~b en positieve natuurlijke getallen n definiëren we de [i]n-de ontnulde waarde[/i] ow[sub]n[/sub](a~b) als volgt:

[tex] \mbox{ow_n}(a \sim b) = \left \{ \begin{array}{rcl} a - b & \mbox{als} & a \neq b \\ \\ \frac{a}{n} & \mbox{als} & a = b \,\, \& \,\, a \neq 0 \\ \\ \frac{1}{n^2} & \mbox{als} & a = b \,\, \& \,\, a = 0 [/tex]

De rij ontnulde waarden ow[sub]1[/sub], ow[sub]2[/sub], ow[sub]3[/sub], ... , ow[sub]n[/sub], ... geeft de mogelijkheid te bezien wat ow[sub]n[/sub] voor "n nadert tot oneindig" doet.

[size=150]D[/size]e ontnulde waarden bieden een alternatief voor de reële waarde wanneer (zoals bij het delen) het optreden van nullen tot problemen leidt. De motiverende intuïtie bij de gegeven precieze, formele definitie gaat aldus:

[b]Voor a ;) b :[/b]

[tex] \mbox{ow_n}(a \sim b) = \mbox{rw}(a \sim b) = a - b [/tex] .

[b]Voor a=b & a :P 0 :[/b]

[tex] \mbox{ow_n}(a \sim b) = a - a [/tex]

[tex] \mbox{ow_n}(a \sim b) = a.(1-1) [/tex]

[tex] \mbox{ow_n}(a \sim b) = a.0 [/tex]

[tex] \mbox{ow_n}(a \sim b) = \frac{a}{\infty} [/tex] .

[b]Voor a=b & a = 0 :[/b]

[tex] \mbox{ow_n}(a \sim b) = 0 - 0 [/tex]

[tex] \mbox{ow_n}(a \sim b) = 0.(1-1) [/tex]

[tex] \mbox{ow_n}(a \sim b) = 0.0 [/tex]

[tex] \mbox{ow_n}(a \sim b) = \frac{1}{ \infty } . \frac{1}{ \infty } [/tex]

[tex] \mbox{ow_n}(a \sim b) = \frac{1}{ \infty^2 } [/tex] .

[size=150]V[/size]oor alle reële getallen r en s definiëren we de [i]tweesporige versie[/i] tv(r,s) als:

[tex] tv(r,s) = \left ( \frac{s + r}{2} \right ) \, \sim \, \left ( \frac{s - r}{2} \right ) [/tex] .

De tweesporige versie levert dus een tweesporig getal.

[size=150]D[/size]e tweesporige versie voldoet voor alle reële getallen r en s aan:

rw(tv(r,s)) = r ,

aw(tv(r,s)) = s .

Anders gezegd: de tweesporige versie tv(r,s) heeft altijd als reële waarde r en als antireële waarde s.

Bewijs:

[tex] rw(tv(r,s)) = rw \left ( \left ( \frac{s + r}{2} \right ) \, \sim \, \left ( \frac{s - r}{2} \right ) \right ) [/tex]

[tex] rw(tv(r,s)) = \frac{s + r}{2} \, - \, \frac{s - r}{2} [/tex]

[tex] rw(tv(r,s)) = \frac{(s + r) \, - \, (s - r)}{2} [/tex]

[tex] rw(tv(r,s)) = \frac{2 . r}{2} [/tex]

[tex] rw(tv(r,s)) = r [/tex] .

[tex] aw(tv(r,s)) = aw \left ( \left ( \frac{s + r}{2} \right ) \, \sim \, \left ( \frac{s - r}{2} \right ) \right ) [/tex]

[tex] aw(tv(r,s)) = \frac{s + r}{2} \, + \, \frac{s - r}{2} [/tex]

[tex] aw(tv(r,s)) = \frac{(s + r) \, + \, (s - r)}{2} [/tex]

[tex] aw(tv(r,s)) = \frac{2 . s}{2} [/tex]

[tex] aw(tv(r,s)) = s [/tex] .

[size=150]W[/size]e gaan uit van de algebraïsche structuur ([b]R[/b],+, . ) van de reële getallen met de gebruikelijke optelling '+' en vermenigvuldiging '.' .

Stel nu dat we de [i]tweesporige getallen[/i] a~b met a en b reële getallen formeel definiëren als geordende tweetallen (a,b) waarvoor geldt:

(a,b) + (c,d) = (a+c , b+d)

(a,b) . (c,d) = (a.c + b.d , a.d + b.c)

Voor de aftrekking '~' van tweesporige getallen definiëren we:

(a,b) ~ (c,d) = (a+d , b+c)

(De term 'tweesporige getallen' heb ik enige jaren geleden al eens gebruikt in een eerdere poging “delen door nul” mogelijk te maken. Die tekst heb ik echter nooit gepubliceerd, en inmiddels ook gewist. Soms moet je ruimte maken voor een nieuw begin. Maar de term 'tweesporige getallen' komt nog wel van pas. Om een duidelijk onderscheid te maken met de theorie uit mijn andere 'Delen door nul'-topic, spreek ik hier welbewust van 'tweesporige getallen' in plaats van 'verschilgetallen'. )

[size=150]O[/size]m te beginnen zal ik nagaan wat voor algebraïsche structuur ([b]T[/b],+, . ) nu eigenlijk is, waarbij [b]T[/b] de verzameling der tweesporige getallen is, en + en . de optelling en vermenigvuldiging van deze getallen zoals eerder gedefinieerd. We vermoeden een commutatieve semiring. Zie:

[url=http://mathworld.wolfram.com/Semiring.html]http://mathworld.wolfram.com/Semiring.html[/url]



Een [i]commutatieve semiring[/i] is een verzameling V van wiskundige objecten tezamen met twee binaire bewerkingen + en . die voldoen aan:

1. Additieve associativiteit: Voor alle a, b en c uit V geldt: (a+b)+c = a+(b+c) ,

2. Additieve commutativiteit: Voor alle a en b uit V geldt: a+b = b+a ,

3. Multiplicatieve associativiteit: Voor alle a, b en c uit V geldt: (a.b).c = a.(b.c) ,

4. Multiplicatieve commutativiteit: Voor alle a en b uit V geldt: a.b = b.a ,

5. Distributiviteit: Voor alle a, b en c uit V geldt: a.(b+c) = a.b + a.c .

Laten we zien. Voor alle a, b, c, d, e en f uit [b]R[/b] geldt:

1. ( (a,b) + (c,d) ) + (e,f) = (a+c,b+d) + (e,f) = (a+c+e,b+d+f) = (a,b) + (c+e,d+f) = (a,b) + ( (c,d) + (e,f) )

2. (a,b) + (c,d) = (a+c,b+d) = (c+a,d+b) = (c,d) + (a,b)

3. Laat A = ( (a,b) . (c,d) ) . (e,f) en B = (a,b).( (c,d).(e,f) ). Dan vinden we:

A = ( (a.c + b.d , a.d + b.c) ) . (e,f) = ( a.c.e + b.d.e + a.d.f + b.c.f , a.c.f + b.d.f + a.d.e + b.c.e )

B = (a,b) . (c.e + d.f , c.f + d.e) = ( a.c.e + a.d.f + b.c.f + b.d.e , a.c.f + a.d.e + b.c.e + b.d.f )

Dus A = B.

4. (a,b) . (c,d) = (a.c + b.d , a.d + b.c) = (c.a + d.b , d.a + c.b ) = (c.a + d.b , c.b + d.a ) = (c,d) . (a,b)

5. Laat A = (a,b) . ( (c,d) + (e,f) ) en B = (a,b).(c,d) + (a,b).(e,f). Dan vinden we:

A = (a,b) . (c+e,d+f) = ( a.c + a.e + b.d + b.f , a.d + a.f + b.c + b.e )

B = ( a.c + b.d , a.d + b.c ) + ( a.e + b.f , a.f + b.e ) = ( a.c + b.d + a.e + b.f , a.d + b.c + a.f + b.e )

Dus A = B.

Waarmee bewezen is dat ([b]T[/b],+, . ) een commutatieve semiring is.

[size=150]D[/size]efinieer de [i]reële waarde[/i] van het tweesporige getal a~b als:

rw(a~b) = a - b .

Dan geldt voor alle tweesporige getallen x en y dat:

rw(x + y) = rw(x) + rw(y)

rw(x ~ y) = rw(x) - rw(y)

rw(x . y) = rw(x) . rw(y)

Bewijs:

Voor alle a, b, c en d uit [b]R[/b] geldt:

rw((a,b) + (c,d)) = rw( (a+c , b+d) ) = (a+c) - (b+d) = (a-b) + (c-d) = rw((a,b)) + rw((c,d)) .

rw((a,b) ~ (c,d)) = rw( (a+d , b+c) ) = (a+d) - (b+c) = (a-b) - (c-d) = rw((a,b)) - rw((c,d)) .

rw((a,b) . (c,d)) = rw((a.c + b.d , a.d + b.c)) = (a.c + b.d) - (a.d + b.c)

rw((a,b) . (c,d)) = (a-b) . (c-d) = rw((a,b)) . rw((c,d)) .

[size=150]H[/size]et is handig om naast de reële waarde van tweesporige getallen eveneens te beschikken over de 'antireële waarde' van tweesporige getallen. De reële waarde van het tweesporige getal a~b definieerden we als:

rw(a~b) = a - b .

Voor alle tweesporige getallen x = a~b definiëren we de [i]antireële waarde[/i] aw(a~b) als:

aw(a~b) = a + b .

Dan geldt voor alle tweesporige getallen x en y dat:

aw(x + y) = aw(x) + aw(y) ,

aw(x ~ y) = aw(x) + aw(y) ,

aw(x . y) = aw(x) . aw(y) .

Bewijs:

Voor alle a, b, c en d uit [b]R[/b] geldt:

aw((a,b) + (c,d)) = aw((a+c , b+d)) = (a+c) + (b+d) = (a+b) + (c+d) = aw((a,b)) + aw((c,d)) .

aw((a,b) ~ (c,d)) = aw((a+d , b+c)) = (a+d) + (b+c) = (a+b) + (c+d) = aw((a,b)) + aw((c,d)) .

aw((a,b) . (c,d)) = aw((a.c + b.d , a.d + b.c)) = (a.c + b.d) + (a.d + b.c)

aw((a,b) . (c,d)) = (a+b) . (c+d) = aw((a,b)) . aw((c,d)) .

Bij de ontwikkeling van de theorie in een ander topic ben ik mij gaan afvragen of er geen fraaiere benadering mogelijk is door van een iets andere basisverzameling uit te gaan. Zie:

[url=http://sciencetalk.nl/forum/index.php?s=&showtopic=139752&view=findpost&p=681027]http://sciencetalk.nl/forum/index.php?s...st&p=681027[/url]

Om verwarring te voorkomen werk ik deze nieuwe versie in dit afzonderlijke topic uit. De theorie die ik in het boven genoemde topic al ontwikkeld heb is - voor zover ik kan zien - niet fout, maar ik wil hier proberen of ik nog een wezenlijk elegantere theorie op poten kan zetten. Daartoe zullen we hier niet slechts werken met geordende tweetallen van [i]positieve[/i] reële getallen, maar met geordende tweetallen van [i]alle mogelijke[/i] reële getallen (positief, negatief of nul). Of dit iets zinvols oplevert, zal gaandeweg moeten blijken.

De lezer zal daarbij merken dat de opbouw vooral in het begin gelijk oploopt met de uitwerking in het eerder genoemde andere topic. Er zal dus in ieder geval [i]iets[/i] uitkomen. Met het begin van de uitwerking in het andere topic was ik echter al tevreden. Daar gaat het dan ook niet om. De lakmoesproef hier zal zijn of uit deze nieuwe theorie een [i]natuurlijk[/i] (d.w.z. ongekunsteld) (pseudo)quotiënt rolt.