Springen naar inhoud

Tegenvoorbeeld op belangrijke stelling?


  • Log in om te kunnen reageren

#1

De leek

    De leek


  • >100 berichten
  • 126 berichten
  • Ervaren gebruiker

Geplaatst op 03 oktober 2013 - 12:35

Beste mensen, ik heb vorig jaar een cursus analyse gehad. Ik zat in de trein nog over iets na te denken van wat we toen hadden en uiteindelijk was er een bepaalde stelling die eruit sprong die opeens niet meer logisch leek. En volgens mij heb ik zelfs een tegenvoorbeeld.

Het gaat om lemma 2.30 die je hier kan vinden:

http://www.staff.sci...A/inlan2009.pdf

Ik begin nu ernstig te betwijfelen of a en c wel daadwerkelijk equivalent zijn. Stel f is continu en een functie van V->W(metrische ruimten) en stel dat S een gesloten deelverzameling is van W dan is f^(-1)(S) ook gesloten in V.

Maar als we nu even de functie van R->R bekijken met f(x) = -x^3+2x. Laten we deze functie bekijken op het interval ]-1.1,1.1[ wat duidelijk een open interval is.De functie heeft op dit interval echter een maxima en een minima in 2 interne punten. Na enig rekenwerk zie je duidelijk dat f(]-1.1,1.1[) = [-(4/3)^3,(4/3)^3] dat is namelijk het bereik van deze jongen, ofterwijl f^(-1)([-(4/3)^3,(4/3)^3]) = ]-1.1,1.1[ maar f is wel degelijk een continue functie.

IK heb hier een voorbeeld gegeven dat direct in strijd is met de gegeven stelling volgens mij, f is continu maar toch is er een gesloten verzameling die onder f^(-1) wel degelijk open is en dat tast de algemene geldigheid aan lijkt mij....

Zie ik hier iets over het hoofd of hoe zit dat?

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

#2

EvilBro

    EvilBro


  • >5k berichten
  • 6703 berichten
  • VIP

Geplaatst op 03 oktober 2013 - 12:50

Wat is de inverse van LaTeX ?

#3

Math-E-Mad-X

    Math-E-Mad-X


  • >1k berichten
  • 2383 berichten
  • Ervaren gebruiker

Geplaatst op 03 oktober 2013 - 12:51

Na enig rekenwerk zie je duidelijk dat f(]-1.1,1.1[) = [-(4/3)^3,(4/3)^3]


Je toont hier aan dat er een open verzameling X is die wordt afgebeeld op een gesloten verzameling Y. Maar het feit dat f(X) = Y wil nog niet zeggen dat ook geldt f^-1(Y) = X

Veranderd door Math-E-Mad-X, 03 oktober 2013 - 12:51

while(true){ Thread.sleep(60*1000/180); bang_bassdrum(); }

#4

De leek

    De leek


  • >100 berichten
  • 126 berichten
  • Ervaren gebruiker

Geplaatst op 03 oktober 2013 - 13:26

Je toont hier aan dat er een open verzameling X is die wordt afgebeeld op een gesloten verzameling Y. Maar het feit dat f(X) = Y wil nog niet zeggen dat ook geldt f^-1(Y) = X


Ohja bedankt, nu zie ik het ook haha. In dit geval is de afbeelding f^(-1)(Y) dus gewoon de grootste verzameling X die voldoet aan f(X) = Y. En die verzameling is dan wel weer gesloten ook in dit voorbeeld. Nu is het me wel duidelijk waar de fout zat.

Wat is de inverse van LaTeX

?


Ik zou niet direct een expliciete inverse weten, maar dat is hier ook niet echt relevant.

Veranderd door De leek, 03 oktober 2013 - 13:27


#5

EvilBro

    EvilBro


  • >5k berichten
  • 6703 berichten
  • VIP

Geplaatst op 03 oktober 2013 - 14:05

Ik zou niet direct een expliciete inverse weten, maar dat is hier ook niet echt relevant.

De inverse bestaat niet op jouw bekeken interval. Dat is wel degelijk relevant.

#6

De leek

    De leek


  • >100 berichten
  • 126 berichten
  • Ervaren gebruiker

Geplaatst op 03 oktober 2013 - 14:59

De inverse bestaat niet op jouw bekeken interval. Dat is wel degelijk relevant.


Dat is waar en daarom heb ik dat voorbeeld ook zo gekozen, de functie is inderdaad niet injectief op dat interval. Maar het ging over afbeelding van verzamelingen. In die context is f^(-1) wel gewoon gedefinieerd. f^(-1)(A) is dan simpelweg de verzameling getallen zo dat f(x) een element is van A. f^(-1)([0,1]) = [-1,1] als het om de functie f(x) = x^2 gaat, puur omdat elk element van [-1,1] afgebeeld wordt naar een element op [0,1]. Dus ook in het geval van een niet injectieve functie is de inverse afbeelding gedefinieerd, je zou hiermee zelfs kunnen zeggen dat f^(-1)({1}) = {-1,1} van de betreffende functie en f^(-1)({-1}) is dan de lege verzameling(of i als je complexe waarden mee laat doen).

Veranderd door De leek, 03 oktober 2013 - 15:00






0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures