Η αντιπαραγώγιση ως κλάση ισοδυναμίας

Μοιραστείτε το!

Εισαγωγή

Γιατί στην αντιπαραγώγιση, ή αλλιώς στο αόριστο ολοκλήρωμα, προστίθενται πάντοτε η σταθερά ολοκλήρωσης; Η πρακτική αυτή, μολονότι ξενίζει σε κάποιο βαθμό, προσφέρει το απαραίτητο ερέθισμα για να θεωρηθεί η αντιπαραγώγιση ως σύνολο, συγκεκριμένα, ως κλάση ισοδυναμίας.

Όπως γνωρίζετε, κατά την παραγώγιση, μιας παραγωγίσιμης συνάρτησης, προκύπτει, μονοσήμαντα, μια νέα συνάρτηση, η παράγωγός της.

Η αντίστροφη διεργασία, για μια συνάρτηση η οποία έχει αρχική, οδηγεί, ουσιαστικά, σε μια διαδικασία επιλογής από ένα σύνολο συναρτήσεων.

(Οι συναρτήσεις αυτού του συνόλου έχουν, προφανώς, κοινό χαρακτηριστικό την ισότητα των παραγώγων τους.)

Το σύνολο όλων αυτών των αρχικών συναρτήσεων, για μια συνάρτηση, είναι το αόριστο ολοκλήρωμά της.

Ωστόσο, για λόγους απλότητας, σχεδόν, πάντοτε αποφεύγεται ο συμβολισμός των συνόλων χαλκεύοντας, έτσι, τον πραγματικό χαρακτήρα των ολοκληρωμάτων καθώς και τη φύση των επαγόμενων πράξεων. Τούτο οφείλεται στην “ταύτιση” του ολοκληρώματος, τρόπον τινά, μ’ έναν “αντιπρόσωπο” του συνόλου.

Έτσι, τα αόριστα ολοκληρώματα αντικαθίστανται από κατάλληλες συναρτήσεις, που τα αντιπροσωπεύουν, ενώ οι μεταξύ τους πράξεις εκτελούνται μέσω των αντιπροσώπων τους.

Η σχέση ισοδυναμίας

Ακολούθως, θα διεισδύσουμε στην πραγματική υπόσταση της έννοιας του αόριστου ολοκληρώματος για να αναδειχθεί η αντιπαραγώγιση ως κλάση ισοδυναμίας. Θα αναλυθούν αρκετά από τα ζητήματα που θίχτηκαν παραπάνω, αλλά, και εδώ, με περισσότερες τεχνικές λεπτομέρειες.

Θεωρούμε ένα διάστημα $\Delta$ της πραγματικής ευθείας. Έστω, επίσης, $\mathcal{D}$ το σύνολο όλων των παραγωγίσιμων συναρτήσεων στο $\Delta$ και $\mathcal{F}$ το σύνολο όλων των συναρτήσεων για τις οποίες υπάρχει αρχική συνάρτηση στο Δ. Ορίζουμε μια σχέση $\sim$ στο $\mathcal{D}$ ως εξής:

Αν $f,g\in\mathcal{D}$ , τότε,

$f\sim g \Leftrightarrow f^{\prime }=g^{\prime }.$

(Δηλαδή, δύο στοιχεία του $\mathcal{D}$ συνδέονται με τη σχέση $\sim$ , αν και μόνο αν έχουν την ίδια παράγωγο.)

Η προηγούμενη σχέση είναι μια σχέση ισοδυναμίας στο $\mathcal{D}$ .

(Στα Μαθηματικά, γενικά, μια διμελής σχέση, σ’ ένα σύνολο $X$ , ορίζεται ένα σύνολο διατεταγμένων ζευγών $(u,v)$ , με $u,v\in X$ . Πολλές φορές για να δηλώσουμε ότι ένα ζεύγος $(u,v)$ είναι στοιχείο της σχέσης, $\sim$ , σημειώνουμε $u\sim v$ . Μια διμελής σχέση, στο $X$ , καλείται σχέση ισοδυναμίας όταν πληροί τις εξής τρεις ιδιότητες:

Την ανακλαστική, δηλαδή, $x \sim x$ , για κάθε $x\in X$
Τη συμμετρική, δηλαδή, αν $x \sim y$ , τότε, $y \sim x$ για κάθε $x,y\in X$
Τη μεταβατική, δηλαδή, αν $x \sim y$ και $y \sim z$ , τότε, $x \sim z$ , για κάθε $x,y,z\in X$ .)

Κλάσεις ισοδυναμίας

Επιπλέον, για κάθε συνάρτηση $g\in\mathcal{D}$ , ορίζουμε το σύνολο,

$\left[ g\right] =\{h\in \mathcal{D}:h^{\prime }=g^{\prime }\}.$

(Το $\left[ g\right]$ απαρτίζεται από εκείνα τα στοιχεία, $h$ , του $\mathcal{D}$ που συνδέονται με τη $g$ , μέσω της σχέσης $\sim$ . Το σύνολο αυτό λέγεται κλάση ισοδυναμίας του $g$ .)

Σύνολο πηλίκο

Έστω,

$\mathcal{Q}=\{\left[ g\right] :g\in \mathcal{D}\},$

το σύνολο όλων των συνόλων, της μορφής, $\left[ g\right] =\{h\in \mathcal{D}:h^{\prime }=g^{\prime }\}$ , για τις διάφορες συναρτήσεις $g\in \mathcal{D}$ .

(Το $\mathcal{Q}$ απαρτίζεται από όλες τις δυνατές κλάσεις ισοδυναμίας της σχέσης $\sim$ στο $\mathcal{D}$ . Το σύνολο αυτό λέγεται σύνολο πηλίκο.)

Η αμφιμονοσήμαντη απεικόνιση

Θεωρούμε, τώρα, την απεικόνιση,

$T:\mathcal{Q}\longrightarrow \mathcal{F},$

που ορίζεται από τον τύπο,

$T\big([g]\big) =g^{\prime }.$

Πρώτα απ’ όλα, η $T$ είναι καλώς ορισμένη:

Πραγματικά, αν $\left[ g_{1}\right] =\left[ g_{2}\right]$ , τότε, αφού,

$g_{1}\in \left[ g_{1}\right] ,$

θα είναι,

$g_{1}\in \left[ g_{2}\right],$

επομένως, $g_{1}^{\prime }=g_{2}^{\prime }$ , συνεπώς,

$T\big([g_{1}]\big) =T\big([g_{2}]\big).$

Θα αποδειχτεί, πλέον, ότι αυτή η αντιστοιχία συνδέει με αμφιμονοσήμαντο τρόπο τα στοιχεία των συνόλων $\mathcal{Q}$ και $\mathcal{F}$ :

Για το σκοπό αυτό, έστω, $f\in \mathcal{F}$ . Από τον ορισμό του $\mathcal{F}$ , θα υπάρχει $g\in \mathcal{D}$ με $g^{\prime }=f$ , οπότε,

$T\big([g]\big) =f.$

Από την άλλη μεριά, έστω,

$T\big([g_{1}]\big) =T\big([g_{2}]\big),$

όπου $\left[ g_{1}\right] ,\left[ g_{2}\right] \in \mathcal{Q}$ .

Προφανώς, $g_{1}^{\prime }=g_{2}^{\prime }$ , άρα $\left[ g_{1}\right] =\left[ g_{2}\right]$ .

Η ταύτιση

Συμπερασματικά, κάθε στοιχείο του $\mathcal{F}$ μπορεί να απεικονιστεί, μέσω της $T^{-1}$ , στο αντίστοιχο στοιχείο του στο $\mathcal{Q}$ .

Για καθε $f\in \mathcal{F}$ , συμβολίζουμε,

$T^{-1}\left( f\right) =\int f\left( x\right) \mathrm{dx}.$

Αν υποτεθεί ότι $T^{-1}\left( f\right) =\left[ g\right]$ , όπου $g\in \mathcal{D}$ , τότε, εύκολα, συνάγεται ότι,

$\int f\left( x\right) \mathrm{dx}=\left\{ h\in \mathcal{D}:h^{\prime }=f\right\} .$

Συμπερασματικά, η αντιπαραγώγιση για την $f$ , συντελείται ως κλάση ισοδυναμίας μιας οποιασδήποτε αρχικής συνάρτησης της $f$ .

Αντιλαμβάνεστε, τώρα, τι εννοούμε όταν, συμβατικά, γράφουμε ότι,

$\int f\left( x\right) \mathrm{dx}=F\left( x\right) +c,$

όπου $F$ μια αρχική της $f$ ;

Στην πραγματικότητα, επιλέγουμε έναν “αντιπρόσωπο” από το σύνολο $\{h\in \mathcal{D}:h^{\prime }=f\}$ .

Η παρουσία της σταθεράς $c$ , αν και στερείται ουσιαστικού μαθηματικού περιεχομένου, υπενθυμίζει τη φύση της έννοιας του $\int f\left( x\right) dx$ .

Για παράδειγμα, οι συμβατικές ισότητες,

$\int 2x\, \mathrm{dx}=x^2, \int 2x\, \mathrm{dx}=x^2+1,\int 2x\, \mathrm{dx}=x^2+c,$

είναι εξίσου σωστές, άρα κι οι συνεπακόλουθες,

$0=1,0=c,1=c.$

Ο διανυσματικός χώρος

Για να γίνει περισσότερο “λειτουργική” αυτή η αντιστοιχία, το $\mathcal{Q}$ μπορεί να εφοδιαστεί με δύο πράξεις.

Συγκεκριμένα, για κάθε ${{g}_{1}},{{g}_{2}}\in \mathcal{D}$ , ορίζουμε,

$[{{g}_{1}}]\oplus [{{g}_{2}}]=[{{g}_{1}}+{{g}_{2}}]\text{\,\,\,\,(1)},$

και για κάθε $\lambda\in\mathbb{R}$ και $g\in \mathcal{D}$ , ορίζουμε,

$\lambda *[g]=[\lambda \centerdot g]\text{\,\,\,\,(2)}.$

Όπως προηγουμένως, αποδεικνύεται ότι οι πράξεις αυτές είναι καλώς ορισμένες.

(Ακόμη, μπορούν να αποδειχτούν και οι αντίστοιχες ιδιότητες των πράξεων, της πρόσθεσης και του πολλαπλασιασμού αριθμού επί διάνυσμα, από το χώρο των διανυσμάτων. Για το λόγο αυτό το $\mathcal{Q}$ αποτελεί διανυσματικό χώρο.)

Επιπλέον, αποδεικνύεται ότι,

$T\big(\lambda *[{{g}_{1}}]\oplus \mu *[{{g}_{2}}]\big)=\lambda \cdot T\big({[{{g}_{1}}]}\big)+ \mu \cdot T\big({[{{g}_{2}}]}\big)\,\,\,\,\text{(3)},$

για κάθε $\lambda,\mu\in\mathbb{R}$ και για κάθε ${{g}_{1}},{{g}_{2}}\in \mathcal{D}$ .

Πράγματι,

$\begin{equation*} \begin{aligned} \displaystyle T\big(\lambda *[{{g}_{1}}]\oplus \mu *[{{g}_{2}}]\big)&=T\big([\lambda \cdot {{g}_{1}}]\oplus [\mu \cdot {{g}_{2}}]\big)\\ &=T\big([\lambda \cdot {{g}_{1}}+\mu \cdot {{g}_{2}}]\big)\\ &=\left({\lambda \cdot {{g}_{1}}+\mu \cdot {{g}_{2}}} \right)'\\ &=\lambda\cdot g{{'}_{1}}+\mu \cdot g{{'}_{2}}\\ &=\lambda\cdot T\big([{{g}_{1}}]\big)+\mu \cdot T\big([{{g}_{2}}]\big). \end{aligned} \end{equation*}$

Ίσως, ο συμβολισμός να είναι λίγο αποθαρρυντικός, ωστόσο, η (3) εκφράζει τη γραμμικότητα της παραγώγισης, (να παρατηρήσετε την 3η και 4η από τις παραπάνω ισότητες), ενώ μέσω της (3), οι (1), (2) εκφράζουν, αντίστοιχα, τις γνωστές ιδιότητες του ολοκληρώματος,

$\displaystyle \int {{f}_{1}}\mathrm{dx}+\int {{f}_{2}}\mathrm{dx}=\text{ }\int \left( {{{f}_{1}}+{{f}_{2}}} \right)\mathrm{dx},$

και

$\displaystyle \int{{\lambda f}}\text{dx =}\lambda \int{f}\mathrm{dx}.$

Γενικότερα, η ισότητα,

$\displaystyle {{T}^{{-1}}}\left( {\lambda {{g}_{1}}+\mu {{g}_{2}}} \right)=\lambda \cdot {{T}^{{-1}}}\left( g_{1} \right)\oplus\mu \cdot {{T}^{{-1}}}\left( g_{2} \right),$

για κάθε $\lambda,\mu\in\mathbb{R}$ και για κάθε $\displaystyle {{g}_{1}},{{g}_{2}}\in \mathcal{F}$ ,

εκφράζει τη γραμμικότητα της αντιπαραγώγισης,

$\displaystyle \int_{{}}^{{}}{{\left( {\lambda {{f}_{1}}+\mu {{f}_{2}}} \right)\mathrm{dx}=}}\lambda \int_{{}}^{{}}{{{{f}_{1}}\mathrm{dx}+\mu \int_{{}}^{{}}{{{{f}_{2}}}}}}\mathrm{dx}.$