4) Έστω $X$ ένα μη κενό σύνολο και δύο τοπολογίες $T_1,T_2$ στον $X$ με $T_1 \subset T_2$, έτσι ώστε ο $X$ με αυτές τις τοπολογίες είναι συμπαγής χώρος Haussdorf. Δείξτε ότι $T_1=T_2$. Διαφορετικά, έστω $id : (X, T_{2}) \rightarrow (X, T_{1} $ η ταυτοτική . Αφού $T_{1} \subset T_{2} $ η $ Id $ είνα...

Επανέρχομαι λοιπόν , μπορούμε να θέσουμε διαφορετικά: $\displaystyle{I_{n} = \{ i \in I : \mu(A_{i} \bigcap E_{n}) > 0 \}}$ Τότε $I = \bigcup_{n\in \mathbb{N} }I_{n} $ αφού για κάθε $A_{i}$ έχουμε $ \lim_{n\rightarrow +\infty} \mu(A_{i}\bigcap \bigcup_{k=1}^{n}E_{k}) = \mu(A_{i}}) > 0 $ από την συνέ...

Συμπληρώνω αυτό που έλεγα προηγουμένως, συγκεκριμένα έστω: $ ( X , \mathcal{M}, \mu ) $ χώρος σ - πεπερασμένου μέτρου και $ \{A_{i} \} , i \in I $ οικογένεια ξένων ανά δύο υποσυνόλων της $ \mathcal{M} $ θετικού μέτρου, θα δείξω πως το $I$ είναι το πολύ αριθμήσιμο. Αφού ο $ ( X , \mathcal{M}, \mu ) ...

Συμπληρώνω αυτό που έλεγα προηγουμένως, συγκεκριμένα έστω: $ ( X , \mathcal{M}, \mu ) $ χώρος σ - πεπερασμένου μέτρου και $ \{A_{i} \} , i \in I $ οικογένεια ξένων ανά δύο υποσυνόλων της $ \mathcal{M} $ θετικού μέτρου, θα δείξω πως το $I$ είναι το πολύ αριθμήσιμο. Αφού ο $ ( X , \mathcal{M}, \mu ) $...

Θα βάλω απάντηση σε κάποιες το βραδάκι καθώς δεν προλαβαίνω να γράψω σε λατεχ, απλα να αναφέρω σχετικά με αυτό: Υπάρχει υπεραριθμήσιμη οικογένεια ξένων ανά δυο υποσυνόλων του $\mathbb{R}$ που το καθένα από αυτά έχει θετικό μέτρο Lebesgue; Πως δεν υπάρχει τέτοια οικογένεια γενικά σε χώρο σ- πεπερασμέ...

Ευχαριστώ όλους για τις ευχές, με την σειρά μου να ευχηθώ και σε όλους όσους γιόρταζαν εχθές.

Βάζω την λύση που έκανα στον διαγωνισμό. Αρχικά από την δοσμένη η $f'$ βγαίνει άμεσα αύξουσα. Έστω πως υπάρχει κάποιο $c \in \mathbb{R} $ με $f'(c) > 0$. Τότε είναι $f'(x) >0, \forall x \geq c$. Ορίζουμε την συνάρτηση: $g(x) = \frac{f(x)} {f'(x)} + x, x \geq c$. Η οποία είναι καλώς ορισμένη. Από την...

Και του γυμνασίου, εφόσον κάποιος τα έχει.

Επαναφορά, είναι ωραία η λύση θεωρώ.

Με αφορμή μια άσκηση. Να δωθεί παράδειγμα ασυνεχούς συνάρτησης $f: \mathbb{R} \rightarrow \mathbb{R}$ τέτοια ώστε: $\displaystyle{f(\frac{x+y}{2}) \leq \frac{f(x)+f(y)}{2} , \forall x,y \in \mathbb{R}}$ Είναι γνωστό ότι, με χρήση του Αξιώματος Επιλογής, υπάρχουν ασυνεχείς συναρτήσεις που ικανοποιού...

Με αφορμή μια άσκηση.

Να δωθεί παράδειγμα ασυνεχούς συνάρτησης τέτοια ώστε:

Κάποιες ιδέες ακόμα που θέλουν αρκετή αιτιολόγηση νομίζω για να αποτελέσουν πλήρη λύση, ας γράψουμε: $\displaystyle{\vec{a}=(a,b), \vec{z_{n}}=(\frac{x_{n}}{\sqrt{x_{n}^{2}+y_{n}^{2}}},\frac{y_{n}}{\sqrt{x_{n}^{2}+y_{n}^{2}}})}$ Τότε: $\displaystyle{\left \| z_{n} \right \|_{2} = 1}$ και $\displayst...

Προσθέτω και εγώ κάποια ακόμα, Για ανάλυση επίσης καλό αλλά με δυσκόλεψε αρκετά ειναι το problems in analysis, advanced calculus on the real axis. Αυτό που μου φάνηκε πολύ ωραίο βιβλίο είναι το Problems from 'the book', έχει πολύ όμορφες εφαρμογες θεωρίας Galois και γραμμικής άλγεβρας σε προβλήματα ...

Πρόβλημα 5: Έστω $G$ μια πεπερασμένη ομάδα και $f$ δεύτερης τάξης αυτομορφισμός της. Αν το μοναδικό σταθερό σημείο του $f$ είναι το μοναδιαίο στοιχείο της $G$, τότε να δείξετε ότι η $G$ είναι αβελιανή ομάδα. Μου φάνηκε ωραίο πρόβλημα: Ισχυρισμός: $\forall g \in G , \exists x \in G, g=x^{-1}f(x)$ Γι...

Μετά την ωραία λύση του κυρίου Δημήτρη, βάζω και την δικιά μου. Θεωρούμε τον πίνακα $A$ με $(a_{ij}) = x^{|i-j|}$ , τότε: $\displaystyle{det(A)=\sum_{\sigma \in S_{n}}\epsilon(\sigma)x^{|1-\sigma(1)|}\cdot...x^{|n-\sigma(n)|}=\sum_{\sigma \in A_{n}}x^{\sum_{i=1}^{n}|i-\sigma(i)|} - \sum_{\sigma \in ...

Καλησπέρα Σωτήρη. Νομίζω βρήκα κάτι στοιχειώδες με επαγωγή: Για $n=3$ το ζητούμενο προφανώς ισχύει. Έστω ότι ισχύει για $n=k-1$. Ας είναι $A'_{k}$ το σύνολο των άρτιων μεταθέσεων για τις οποίες ισχύει πως τα στοιχεία $1,2$ βρίσκονται από τη θέση $2$ και πάνω. Ας είναι και $B'_{k}$ το αντίστοιχο σύν...

Έστω και , τα σύνολα των άρτιων και περιττών μεταθέσεων του αντίστοιχα.
Να δειχθεί πως:

Ίσως λέω τα ίδια με τα προηγούμενα λίγο η πολύ, ας δούμε: Αν $g(t)= x^{t}+k-1$ προκύπτει με απλές πράξεις ότι: $g''(t)g(t) > (g'(t))^{2}$ , είναι ισοδύναμο με το $ k >1$ , συνεπώς η $g(t)$ είναι αυστηρά λογαριθμικώς κυρτή, άρα από το λήμμα των τριών χορδών (μόνο τις δύο χορδές θέλουμε) η συνάρτηση: ...

Καλημέρα! Είδα τα θέματα με καθυστέρηση μερικών ημερών, και μπορώ να πω πως μου άρεσαν. Αν και απουσίαζε το ιδιαίτερα δύσκολο πρόβλημα, που κατ' εμέ πρέπει να υπάρχει σε κάθε υψηλού επιπέδου διαγωνισμό, και τα 4 ήταν προβλήματα αξιοπρεπούς δυσκολίας για έναν διαγωνισμό που απευθύνεται σε ταλαντούχο...

Εστω πολυώνυμα $P(x),K(x)\in Q[x]$ με το $P(x)$ ανάγωγο. Αν τα $P(x),K(x)$ εχουν μία κοινή ρίζα τότε υπάρχει πολυώνυμο $R(x)\in Q[x] $ ώστε $K(x)=P(x)R(x)$ Μέχρι 29-2-2020 Γράφω λίγο περιληπτικά γιατί είμαι από κινητό. Έστω $a$ η κοινή ρίζα και $m_{a} (x) $ το ελάχιστο πολυώνυμο του $a$ υπεράνω του...