Springen naar inhoud

Onder welke voorwaarden geldt dit?


  • Log in om te kunnen reageren

#1

*_gast_Bartjes_*

  • Gast

Geplaatst op 02 augustus 2012 - 19:48

In een vorig topic heb ik geprobeerd een vermoeden te bewijzen dat achteraf onwaar bleek te zijn. Dat is jammer, maar maakt het mij wel mogelijk mijn probleem nu scherper te formuleren.

Eerst wat inleidende definities:

Onder
gepreciseerde veeltermen verstaan we precies die formele uitdrukkingen die aan de onderstaande regels voldoen:

i. Alle reële getallen zijn gepreciseerde veeltermen.

ii. De reële variabele x is een gepreciseerde veelterm.

iii. Als A en B gepreciseerde veeltermen zijn, dan zijn (A) + (B) en (A) . (B) dat ook.

iv. Alleen die formele uitdrukkingen worden als gepreciseerde veeltermen beschouwd, die dat volgens de bovenstaande drie regels zijn.

(Voorbeeld: (x) + (5) en (5) + (x) zijn verschillende gepreciseerde veeltermen! Alleen gepreciseerde veeltermen die
als formele uitdrukking identiek zijn, rekenen we gelijk.)


Onder de
reële waarde rw(A(x)) van een gepreciseerde veelterm A(x) verstaan we de reële uitkomst die men verkrijgt wanneer men de waarde van de gepreciseerde veelterm op de voor reële veeltermen gebruikelijke wijze uitrekent.


We noemen een gepreciseerde veelterm A(x) alleen dan
verwant aan de gepreciseerde veelterm B(x) wanneer er gepreciseerde veeltermen E(x) en F(x) bestaan waarvoor rw(E(0)) = rw(F(0)) met rw(E(0)), rw(F(0)) [ongelijk] 0 zodanig dat er een stukje van A(x) is dat identiek is aan E(x) en dat bij vervanging door F(x) de gepreciseerde veelterm A(x) in B(x) omzet. Dit stukje van A(x) mag eventueel heel A(x) zijn.


Voor het gemak voeren we voor gepreciseerde veeltermen V(x) nog de onderstaande notatie in:

LaTeX .



Voor gepreciseerde veeltermen V(x) noemen we onderstaande de cruciale eigenschap:

LaTeX .

De gepreciseerde veeltermen die deze cruciale eigenschap bezitten noemen we cruciaal, en het feit dat een zekere gepreciseerde veelterm V(x) de cruciale eigenschap heeft noteren we als:

LaTeX .



Nu vraag ik mij af voor welke cruciale gepreciseerde veeltermen V(x) geldt dat alle daaraan verwante gepreciseerde veeltermen W(x) eveneens cruciaal zijn, waarbij ook nog geldt:

LaTeX .

Is op een
eenvoudige manier aan te geven aan welke voorwaarden zulke gepreciseerde veeltermen V(x) moeten voldoen, wil het bovenstaande voor alle aan V(x) verwante W(x) opgaan?

Veranderd door Bartjes, 02 augustus 2012 - 19:53


Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Math-E-Mad-X

    Math-E-Mad-X


  • >1k berichten
  • 2383 berichten
  • Ervaren gebruiker

Geplaatst op 03 augustus 2012 - 09:14

Volgens jouw definities is LaTeX geen gepreciseerde veelterm. Immers, LaTeX is niet hetzelfde als LaTeX .

Is dat ook de bedoeling?

Anders is het misschien handiger om i. en ii. te vervangen door het axioma "alle reële veeltermen in x zijn gepreciseerde veeltermen".
while(true){ Thread.sleep(60*1000/180); bang_bassdrum(); }

#3

*_gast_Bartjes_*

  • Gast

Geplaatst op 03 augustus 2012 - 12:58

Volgens jouw definities is LaTeX

geen gepreciseerde veelterm. Immers, LaTeX is niet hetzelfde als LaTeX .

Is dat ook de bedoeling?


In elk geval wil ik niet hebben dat: (0) . (0) = (0) , en ook wil ik niet dat deze twee verwant zijn.

Ik heb hier maar weinig speelruimte, omdat ik de resultaten van dit topic in mijn theorie van de formele en metaformele getallen wil gebruiken. Vandaar de vreemd aandoende definities. Wel probeer ik hier zo dicht mogelijk bij de algemeen bekende wiskunde aan te sluiten om de lezers de moeite van het bestuderen van de theorie van de formele en metaformele getallen te besparen.

#4

*_gast_Bartjes_*

  • Gast

Geplaatst op 04 augustus 2012 - 14:25

Onder productieve veeltermen verstaan we gepreciseerde veeltermen V(x) van onderstaande vormen:

V(x) = (x) . (A(x)) of V(x) = (A(x)) . (x) ,

met rw(A(0)) [ongelijk] 0 .


STELLING. Alle productieve veeltermen zijn cruciaal.

Bewijs:

Stel dat V(x) een productieve veelterm is. Dan is V(x) van de vorm:

V(x) = (x) . (A(x)) of V(x) = (A(x)) . (x) ,

met rw(A(0)) [ongelijk] 0 .

Dan vinden we:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX .


Verder vinden we:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX

LaTeX

LaTeX .

Zodat:

LaTeX

LaTeX

LaTeX .


Waarmee is bewezen dat V(x) cruciaal is.

#5

*_gast_Bartjes_*

  • Gast

Geplaatst op 04 augustus 2012 - 16:39

Het is bij nader inzien handiger de volgende uitgebreidere stelling te gebruiken:

1. STELLING. Alle productieve veeltermen V(x) = (x) . (A(x)) of V(x) = (A(x)) . (x) zijn cruciaal, en er geldt:

LaTeX .


Bewijs:

Stel dat V(x) een productieve veelterm is. Dan is V(x) van de vorm:

V(x) = (x) . (A(x)) of V(x) = (A(x)) . (x) ,

met rw(A(0)) [ongelijk] 0 .

Dan vinden we:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX .


Verder vinden we:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX

LaTeX

LaTeX .

Zodat:

LaTeX

LaTeX .


Waarmee is bewezen dat V(x) cruciaal is, en dat:

LaTeX .

#6

*_gast_Bartjes_*

  • Gast

Geplaatst op 04 augustus 2012 - 19:49

Nu krijgen we het eerste bruikbare resultaat:

2. STELLING. Voor alle cruciale gepreciseerde veeltermen V(x) die tevens productieve veeltermen zijn, geldt dat alle daaraan verwante gepreciseerde veeltermen W(x) eveneens cruciaal en productief zijn. Daarbij geldt ook nog:


LaTeX

Bewijs:

Stel dat V(x) een productieve veelterm is. Dan is V(x) van de vorm:

V(x) = (x) . (A(x)) of V(x) = (A(x)) . (x) ,

met rw(A(0)) [ongelijk] 0 .


Laat vervolgens W(x) een aan V(x) verwante gepreciseerde veelterm zijn. Volgens de definitie van verwante gepreciseerde veeltermen kan het aan E(x) identieke stukje van V(x) dan alleen A(x) of een deel daarvan zijn. Bijgevolg zijn aan V(x) verwante gepreciseerde veeltermen steeds van de vorm:

W(x) = (x) . (B(x)) of W(x) = (B(x)) . (x) ,

met rw(B(0)) = rw(A(0)) [ongelijk] 0 .

Dus zijn de W(x) steeds productief.

We zien dat:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX

LaTeX .


Verder vinden we:

LaTeX .

Dus in beide gevallen geldt:

LaTeX

LaTeX

LaTeX

LaTeX

LaTeX .

Zodat:

LaTeX

LaTeX

LaTeX

LaTeX .


Waarmee is bewezen dat ook W(x) cruciaal is, en dat:

LaTeX .

Veranderd door Bartjes, 04 augustus 2012 - 20:04


#7

*_gast_Bartjes_*

  • Gast

Geplaatst op 04 augustus 2012 - 20:27

De eerste regel van het bewijs uit het vorige berichtje:

“Stel dat V(x) een productieve veelterm is.”,

moet zijn:

“Stel dat V(x) een productieve (en dus ook cruciale) veelterm is.”


En in deze regel uit het bewijs ontbreekt een haakje:

LaTeX .

Het moet zijn:

LaTeX


Ik zag de fouten te laat.

#8

*_gast_Bartjes_*

  • Gast

Geplaatst op 05 augustus 2012 - 09:34

Nu vraag ik mij af voor welke cruciale gepreciseerde veeltermen V(x) geldt dat alle daaraan verwante gepreciseerde veeltermen W(x) eveneens cruciaal zijn, waarbij ook nog geldt:

LaTeX

.



Om niet steeds dit hele verhaal te hoeven vertellen noemen we alleen die cruciale gepreciseerde veeltermen V(x) waardevast waarvoor geldt dat alle daaraan verwante gepreciseerde veeltermen W(x) eveneens cruciaal zijn, waarbij voor zulke W(x) ook nog geldt:

LaTeX .

Veranderd door Bartjes, 05 augustus 2012 - 09:40






0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures