real analysis - intermediate value property intuition

Let's say we are given a graph. How do we determine from the graph that the function has intermediate value property? And also, why do we need to impose the condition 'monotone' so that a monotone function with intermediate value property is continuous ? Intuitively, I don see why the statement 'general function has intermediate value property is continous' is false.

Answer

Try $f(x) = \begin{cases} \sin \frac{1}{x} & x \neq 0 \\ 0 & x = 0\end{cases}$. This has the intermediate value property, but is not continuous at zero. Also, it is not monotone, so it serves as an example of why monotonicity is required.

Note that the graph is connected.

Note that if the graph is connected, it has the intermediate value property.

To see why, suppose a function $g$ does not have the intermediate value property. Then there exists $a,b, \gamma$ such that $ab \} \cup \{ (x,y) | x > a, \ y > \gamma \} $. Then both $U $ & $V$ are open & non-empty, and the graph of $g$ is contained in $U \cup V$. Hence the graph is disconnected.

Furthermore, if a function $g$ has the intermediate value property, the graph is connected.

To see this, suppose $g$ has the intermediate value property, but the graph is not connected. Then there are two non-empty, disjoint open sets $U,V$ such that the graph of $g$ is contained in $U \cup V$. We can assume without loss of generality that we have some $a < b$ such that $(a,g(a)) \in U$, and $(b,g(b)) \in V$. Let $b' = \sup \{x \ge a | (t,g(t)) \in U \ \forall t \in [a,x] \}$. Since $U$ is open, we must have $(b',g(b')) \in V$. Since $V$ is open, we have $B((b',g(b')),\epsilon) \subset V$ for some $\epsilon>0$. For convenience, we use the $\max$-norm on $\mathbb{R}^2$, hence we have $(b'-\epsilon,b'+\epsilon) \times (g(b')-\epsilon,g(b')+\epsilon) \subset V$.

Choose $a' = b'-\frac{\epsilon}{2}$, $\gamma = g(b')-\frac{\epsilon}{2}$. Then if $t \in [a',b')$, we have $(t,g(t)) \in U$, hence $|g(t) -g(b')| \ge \epsilon$, hence $g(s) \neq \gamma$ for all $s \in [a',b']$, which contradicts $g$ having the intermediate value property. Hence the graph is connected.