Відповідь:
Це функція від x і y. Може бути wriiten як #f (x) = y ^ 2 #
Пояснення:
Функція є відношенням між двома змінними широко.
Відповідь:
# "Нам дано співвідношення:" qquad xquad x = y ^ 2. #
# "Ми просимо вирішити, чи визначає вона функцію." #
# "Якщо не важливо, яке значення першої змінної," t
# "точно одне значення другої змінної," t
# "до нього всередині відносини - тоді це буде функція.
# "розбивається на одне значення першої змінної.
# "щоб бути функцією. Тобто, якщо для деякого значення першого" # #
# "змінна, існує два або більше значень (або ніяких значень)" "#
# "Друга змінна, підключена до неї у відносинах, потім" # #
# "не буде функцією." #
# "Примітка - загалом, немає процедури, щоб вирішити, чи" # #
# "довільно задане відношення є функціональним - це функція чи ні". #
# "Правда, взагалі, таких процедур немає".
# "випадок, на щастя, виявляється досить простим, щоб зробити" #
# "рішення, скажімо, використання хороших інстинктів !!" #
# "У нас є:" qquad x = y ^ 2. #
# "Ми просимо, у нашій свідомості, для заданого значення" t
"підключені до нього у відносинах - один або більше" #
# "ніж один?" #
# "Тобто, для заданого значення" x "," скільки рішень " t
# "чи є у відношенні:" x = y ^ 2 "- один або більше одного?" #
# "Наприклад, для" x "приймаємо значення" 1 "," скільки рішень " t
# "чи є в результуючому відношенні:" qquad qquad underbrace {1} _ {x} = y ^ 2 "?" #
# "- один або більше одного -"? "#
# "Це, на щастя (!), Легко вирішити !! Ми продовжуємо, шукаючи" #
# "у рішеннях:" # #
y ^ 2. # # qquad qquad qquad
qquad qquad qquad qquad y ^ 2 = 1
q sqd qquad qquad qquad qqad {1}. #
qquad qquad qquad qquad y = 1, 1. #
# "Отже, для" x "приймаючи значення" 1 ", для двох існують два значення" t
# "підключений до нього в даному відношенні:" t "Отже, більше ніж" #
# "одне значення для" y, "для цього значення" t "Це закінчується рішенням" #.
# "саме тут." #
# "Ми можемо негайно зупинитися - і зробимо висновок, що даний" # #
# "відношення не є функцією." #
# "Це наш результат:" #
qquad qquad qquad quad "відношення" qquad x = y ^ 2 qquad "не є функцією". #
# "Я хочу зробити важливу замітку, щоб зберегти перспективу". #
# "Якщо в вищезгаданій роботі ми підібрали значення" t
# "щоб взяти відношення, а потім подивитися, скільки" # #
# "Рішення" y "є у результуючому співвідношенні:" 0 = y ^ 2, #
# "ми розглянули б рішення:" # #
y ^ 2. # # qquad qquad qquad
qquad qquad qquad qquad y ^ 2 = 0
qquad qquad qquad qquad y = 0, quad "тільки". #
# "І ми могли б зробити висновок, що" для "прийняття значення"
# "є рівно одне значення" y "підключений до нього в даному" #
# "Відношення:" 1. Точно одне значення для "y", "підключено до цього" #.
# "значення" t #
# "Що це говорить нам про те, чи є дане відношення" # #
# "функція? НІЧОГО !!" #
# "Тому що є рівно одне значення для" y "для цього значення" " t
# "ми не можемо виключити відношення з функції, як ми це зробили" #
# "вище, використовуючи значення" 1 "для" x ". #
# "Ми також не можемо сказати з цього, що відношення є функцією" #
Чому? Робота тут розповіла нам, що сталося з "# #
# "значення для" y "пов'язане з значенням" 0 "для" x "- точно один" #
# "значення для" t "Але це нічого не сказало нам про значення" t
# "пов'язано з будь-яким іншим значенням для" t "Інші значення для" # "
# x "може мати точно одне значення для" y "" підключено до нього "#
# "може мати більше одного значення для" t
# "може не мати значень для" t
# "якщо ми не повернемося назад і не перевіряємо значення для" _ ", крім" t
# "Які інші значення для" x, "ми повинні перевіряти - крім"? " #
# "Правда в цілому не існує способу визначити, що" #
# "інші значення для" x "(якщо такі є) ми повинні перевірити.
# "пощастило, що ми вибрали значення" 1 "для" x "вище - яке" # "
# "дозволили нам прийняти рішення щодо цього відношення. Напевно" #
# "типи відносин, є способи визначення інших значень" #
# "перевірити. Взагалі, такої процедури пошуку немає" #.
# "таке щастя - просто надія, і хороші інстинкти !!" #
