deep downспасибо за доп.вопрос, обязательно разберусь с этим. Сейчас хочу заранее прояснить вопрос по следующей - неграфической - задаче.
Сначала определения.
Определение 4.
Множество
![$M\subset\mathbb{R}$ $M\subset\mathbb{R}$](https://dxdy-02.korotkov.co.uk/f/9/2/3/923fcdb421dfb302a893af2b243d880b82.png)
называется симметричным (относительно нуля), если для любого
![$x\in M$ $x\in M$](https://dxdy-03.korotkov.co.uk/f/a/3/d/a3d71bbb900edbc5bd0245a936f8704982.png)
верно, что и
![$-x\in M$ $-x\in M$](https://dxdy-03.korotkov.co.uk/f/a/0/4/a048105c8d14fee9e93f3d0f22031e4682.png)
.
Определение 5.
Функция
![$f:M\to\mathbb{R}$ $f:M\to\mathbb{R}$](https://dxdy-04.korotkov.co.uk/f/b/4/2/b428612d5e588c79ebabe8e5f3449f3e82.png)
называется четной (нечетной), если множество
![$M$ $M$](https://dxdy-04.korotkov.co.uk/f/f/b/9/fb97d38bcc19230b0acd442e17db879c82.png)
симметрично и для всякого
![$x\in M$ $x\in M$](https://dxdy-03.korotkov.co.uk/f/a/3/d/a3d71bbb900edbc5bd0245a936f8704982.png)
выполняется условие
![$f(-x)=f(x)$ $f(-x)=f(x)$](https://dxdy-04.korotkov.co.uk/f/7/0/e/70ee99eeacf5d0be0b036e994ae9a34d82.png)
(
![$f(-x)=-f(x)$ $f(-x)=-f(x)$](https://dxdy-03.korotkov.co.uk/f/a/e/2/ae2b1588912012136031ce3a0103434182.png)
).
А вот непонятная задача.
Задача 3.
Доказать, что график четной (нечетной) функции симметричен относительно оси
![$Oy$ $Oy$](https://dxdy-02.korotkov.co.uk/f/9/7/5/975c715a94d10588acb85bf1f3e79be882.png)
(начала координат).
Я не понимаю, что тут подразумевается под симметричностью графика. Вот определение графика функции из листка 3 "Отображения множеств":
Графиком отображения
![$f:X\to Y$ $f:X\to Y$](https://dxdy-04.korotkov.co.uk/f/f/e/0/fe00d9fd47df307a45042267bbb8ccf682.png)
называется множество
![$G(f)\subset X\times Y$ $G(f)\subset X\times Y$](https://dxdy-01.korotkov.co.uk/f/4/8/d/48df1e2224c9e73b6aae1b57b6d70c4582.png)
, состоящее из всех пар вида
![$(x,f(x))$ $(x,f(x))$](https://dxdy-01.korotkov.co.uk/f/c/c/f/ccfccbc0b9803eb5e5cd52fc5199922d82.png)
.
По определению 4 выше, график
![$G(f)$ $G(f)$](https://dxdy-04.korotkov.co.uk/f/f/d/2/fd202f22f3c4f97cdc770fc608f1804382.png)
симметричен (относительно начала координат?), если для любого
![$z\in G(f)$ $z\in G(f)$](https://dxdy-02.korotkov.co.uk/f/d/1/7/d17317fc62ef79f6249c3d981d693c8a82.png)
верно, что и
![$-z\in G(f)$ $-z\in G(f)$](https://dxdy-01.korotkov.co.uk/f/4/1/0/410160899618f7a4c6ff80ef2840e49b82.png)
.
Пусть
![$z=(x,f(x))$ $z=(x,f(x))$](https://dxdy-03.korotkov.co.uk/f/6/4/0/640e4965d2efe8b85bbacd8836a5096982.png)
. Что в таком случае
![$-z$ $-z$](https://dxdy-02.korotkov.co.uk/f/5/8/7/587a75152833eb7d27c0094796e82e1a82.png)
?
![$(-x,-f(x))$ $(-x,-f(x))$](https://dxdy-02.korotkov.co.uk/f/1/8/9/18915c4786863be0ddfbc8c19867e9c882.png)
? Чтобы определить противоположный элемент, надо ведь ввести сложение на этом множестве, верно? Что-то типа
![$(x_1,y_1)+(x_2,y_2)=(x_1+x_2,y_1+y_2)$ $(x_1,y_1)+(x_2,y_2)=(x_1+x_2,y_1+y_2)$](https://dxdy-03.korotkov.co.uk/f/e/d/4/ed484d59b968317a41396cb90d188eab82.png)
?
Или симметричность тут подразумевается на интуитивном уровне:
![$f(x)$ $f(x)$](https://dxdy-04.korotkov.co.uk/f/7/9/9/7997339883ac20f551e7f35efff0a2b982.png)
и
![$f(-x)$ $f(-x)$](https://dxdy-02.korotkov.co.uk/f/5/c/6/5c6c8aca3e52f245607226d06b68a76882.png)
равноудалены от
![$Ox$ $Ox$](https://dxdy-01.korotkov.co.uk/f/0/6/f/06f60c13ab7e44325ed0b17b411562f982.png)
и имеют одинаковый знак для любого
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
(для четной функции)? Другими словами,
![$f(x)=f(-x)$ $f(x)=f(-x)$](https://dxdy-04.korotkov.co.uk/f/7/b/0/7b0afbecb5221b529e5618d2f656cb0e82.png)
. В таком случае "доказательство" есть просто определение четной и нечетной функции.