απο το
στο R με τις εξής δύο ιδιότητες,1)Η
ικανοποιεί το θεώρημα ενδιάμεσων τιμών σε οποιοδήποτε κλειστό διάστημα
υποσύνολο του ![[0,1] [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/ccfcd347d0bf65dc77afe01a3306a96b.png)
2)Για κάθε
στο R , to
ειναι κλειστό.Να δειχτεί ότι οι συνθήκες αυτές είναι αρκετές για να δειχτεί ότι η
ειναι συνεχής.
ειναι σημειο ασυνεχειας της f στο Δ, τοτε υπαρχει
και ακολουθιες
ετσι ωστε
. Αυτο σημαινει οτι για απειρα
ειναι
η
, θεωρουμε χωρις βλαβη της γενικοτητας οτι ισχυει το πρωτο για ολα τα
, αρα
για καθε
με ακρα τα
βρησκουμε
ωστε
. Ειναι τωρα
και επηδη η
ειναι ακολουθια του κλειστου συνολου
εχουμε
, αρα
, ατοπο.