Prove or Disprove if the Function is Injective

preview_player
Показать описание
Prove or Disprove if the Function is Injective

If you enjoyed this video please consider liking, sharing, and subscribing.

You can also help support my channel by becoming a member

Thank you:)
Рекомендации по теме
Комментарии
Автор

Let f:R-->R be an arbitrary even function. From the definition of an even function, f(x)=f(-x). So, let x!=0, a=x and b=-x, hence, f(a)=f(b) and a!=b, which proves no even function from R to R is injective. I think this is OK? Taking an "arbitrary function" would mean it isn't first order logic, though, and I've not done anything with HOL so I'm not sure

platosbeard
Автор

Ok but how do you prove it then? Do we have to then show the infinite number of times it doesn't fail?

STUDY-xy