JEE Challenger
More from Relations and Functions (Advanced)

Properties of Continuous Functions Between Given Sets

Let S=(0,1)(1,2)(3,4)S = (0,1) \cup (1,2) \cup (3,4) and T={0,1,2,3}T = \{0,1,2,3\}. Then which of the following statements is(are) true?

Options

A

There are infinitely many functions from SS to TT

Correct
B

There are infinitely many strictly increasing functions from SS to TT

C

The number of continuous functions from SS to TT is at most 120

Correct
D

Every continuous function from SS to TT is differentiable

Correct

Step-by-Step Solution

To determine which of the given statements are true, let us analyze each option individually.

Analysis of Option (A):

The set S=(0,1)(1,2)(3,4)S = (0,1) \cup (1,2) \cup (3,4) is an uncountable infinite set, and T={0,1,2,3}T = \{0,1,2,3\} is a finite set containing 4 elements. The number of functions from SS to TT is given by TS=4c|T|^{|S|} = 4^{\mathfrak{c}}, where c=20\mathfrak{c} = 2^{\aleph_0} is the cardinality of the continuum. Since 4c>04^{\mathfrak{c}} > \aleph_0, there are infinitely many functions from SS to TT.

Thus, Option (A) is TRUE.


Analysis of Option (B):

A function f:STf: S \to T is strictly increasing if for all x1,x2Sx_1, x_2 \in S, x1<x2    f(x1)<f(x2)x_1 < x_2 \implies f(x_1) < f(x_2).

Suppose such a function exists. Consider an infinite sequence of distinct points x1<x2<x3<x4<x5x_1 < x_2 < x_3 < x_4 < x_5 in the interval (0,1)S(0,1) \subset S. If ff is strictly increasing, then: f(x1)<f(x2)<f(x3)<f(x4)<f(x5)f(x_1) < f(x_2) < f(x_3) < f(x_4) < f(x_5) This requires f(S)f(S) to contain at least 5 distinct elements. However, T={0,1,2,3}T = \{0,1,2,3\} contains only 4 elements.

This contradiction shows that no strictly increasing function from SS to TT can exist. Therefore, the number of strictly increasing functions is 00.

Thus, Option (B) is FALSE.


Analysis of Option (C):

The domain SS consists of three disjoint, connected open intervals: I1=(0,1),I2=(1,2),I3=(3,4)I_1 = (0,1), \quad I_2 = (1,2), \quad I_3 = (3,4)

Since the continuous image of a connected set must be connected, and the only connected subsets of the discrete set T={0,1,2,3}T = \{0,1,2,3\} are its singleton sets {0},{1},{2},{3}\{0\}, \{1\}, \{2\}, \{3\}, any continuous function f:STf: S \to T must be constant on each connected component of SS.

Therefore, a continuous function f:STf: S \to T is uniquely determined by choosing a single value in TT for each interval:
f(x)={c1for x(0,1)c2for x(1,2)c3for x(3,4)f(x) = \begin{cases} c_1 & \text{for } x \in (0,1) \\ c_2 & \text{for } x \in (1,2) \\ c_3 & \text{for } x \in (3,4) \end{cases}
where c1,c2,c3Tc_1, c_2, c_3 \in T.

Since there are 4 choices for each of c1,c2,c_1, c_2, and c3c_3, the total number of continuous functions from SS to TT is: 4×4×4=43=644 \times 4 \times 4 = 4^3 = 64

Since 6412064 \le 120, the statement that the number of continuous functions is at most 120 is correct.

Thus, Option (C) is TRUE.


Analysis of Option (D):

As established in Option (C), every continuous function f:STf: S \to T is locally constant on each open interval I1,I2,I3I_1, I_2, I_3.

For any x0Sx_0 \in S, there exists an open neighborhood USU \subset S containing x0x_0 such that f(x)=cf(x) = c (a constant) for all xUx \in U. Consequently, the derivative exists at every point in SS and is given by: f(x)=0xSf'(x) = 0 \quad \forall x \in S

Hence, every continuous function from SS to TT is differentiable on SS.

Thus, Option (D) is TRUE.


Conclusion:

The correct statements are (A), (C), and (D).

Next