• Support PF! Buy your school textbooks, materials and every day products Here!

Cardinality of a subset of real functions

  • Thread starter mahler1
  • Start date
  • #1
222
0
Homework Statement .
Let ##f:ℝ→ℝ## such that f is piecewise linear, which means, for every ##x \in ℝ##, there is an ##ε>0## such that f restricted to ##[x-ε,x]## and restricted to ##[x,x+ε]## are linear functions. Find the cardinality of ##A##={##f:ℝ→ℝ## / ##f## is piecewise linear}

The attempt at a solution.

I couldn't get further than: ##|A|##≤|{##f:ℝ→ℝ##}=##c^c## but this doesn't get me anywhere. I know that not all linear piecewise functions are continuous, so I cannot assume that ##|A|≤c##. I'm trying to think of a bijective function between A and another set which I know the cardinality of. Maybe the set A is a subset of something with cardinality c, but I'm not sure. If this was true, then I could find an injective function from a set B of cardinality c to A to conclude ##c=|B|≤|A|≤c## ##→## ##|A|##=##c##.
 

Answers and Replies

  • #2
haruspex
Science Advisor
Homework Helper
Insights Author
Gold Member
32,760
5,036
Think how you would specify such a function. What is the cardinality of the linear sections? What parameters are needed to specify the function over one such section?
 
  • #3
verty
Homework Helper
2,164
198
I think all piecewise linear functions are continuous. Choose the smaller ε, then in that open ball, the limit from both sides equals f(x).
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,808
933
No, there exist piece wise linear functions that are NOT continuous. An example is f(x)= -1 if x< 0, 1 if x>= 0.
 
  • #5
575
76
According to the definition given in the OP, all piecewise linear functions are continuous and the example f(x)= -1 if x< 0, 1 if x>= 0 is not piecewise linear since there is no ε>0 such that f restricted to [−ε,0] is linear.

Though to be fair, I would characterize the definition given in the OP as being nonstandard.
 
  • #6
haruspex
Science Advisor
Homework Helper
Insights Author
Gold Member
32,760
5,036
According to the definition given in the OP, all piecewise linear functions are continuous and the example f(x)= -1 if x< 0, 1 if x>= 0 is not piecewise linear since there is no ε>0 such that f restricted to [−ε,0] is linear.

Though to be fair, I would characterize the definition given in the OP as being nonstandard.
Yes, I would have expected the definition to be that either f restricted to ##[x-ε,x]## or f restricted to ##[x,x+ε]## is a linear function. But I think it makes no difference to the answer to the question.
 
  • #7
222
0
I've convinced myself that by the way "piecewise linear function" is defined in this particular exercise, the function has to be continuous. I'm not so sure how to prove it but I'll try to explain what I've thought: the function is union of line segments (a linear function in ##ℝ## is of the form ##f(x)##=##mx+p##. If the function is not continuous, then the discontinuity is between two different line segments. Suppose that from ##[x_0,x_1]## the function is a line segment of the form ##l_1=ax+b## and that in ##(x_1,x_2]## the function is defined as another line segment ##l_2=cx+d## with ##l_1####≠####l_2##. This being the case, I think we would have the problem that f is not piecewise linear. I mean, if we take the interval ##[x_1,x_1+ε]## (suppose ##2x_1+ε≤x_2##) , then ##f(x_1+(x_1+ε))##=##f(2x_1+ε)##=##c(2x_1+ε)+d## and ##f(x_1)##+##f(x_1+ε)##=##ax_1+b+c(x_1+ε)+d##, and clearly, is not always true that ##c(2x_1+ε)+d##= ##ax_1+b+c(x_1+ε)+d##. But then we have that f restricted to ##[x_1,x_1+ε]####f(x+y)##≠##f(x)+f(y)##

If my idea was correct, we have that the set A is a subset of all continuous functions, so ##|A|##≤##c##.
 
  • #8
222
0
I'll try to prove that ##c##≤##|A|##. To do this, I have to choose conveniently a set ##c## in order to define an injective function from that set to the set A. So I consider the set ##\{0,1\}^{\mathbb N}## and define ##h:\{0,1\}^{\mathbb N}→A## as follows

##h((a_n)##=##f \in A## such that ##f(n)##=##1## if ##a_n=1## and ##f(n)=0## if ##a_n=0##, on the set ##ℝ_{<0}## I define f to be constantly 0 and on ##A\setminus (ℝ_{<0} \cup \mathbb N)## is extended linearly (I'm not so sure how to write this clearly). Then ##f## is piecewise linear and it's easy to check for injectivity of ##h##. It follows that ##c##=##|\{0,1\}^{\mathbb N}|####≤####|A|≤c##→##|A|=c##

Is this correct?
 
  • #9
Dick
Science Advisor
Homework Helper
26,258
618
I'll try to prove that ##c##≤##|A|##. To do this, I have to choose conveniently a set ##c## in order to define an injective function from that set to the set A. So I consider the set ##\{0,1\}^{\mathbb N}## and define ##h:\{0,1\}^{\mathbb N}→A## as follows

##h((a_n)##=##f \in A## such that ##f(n)##=##1## if ##a_n=1## and ##f(n)=0## if ##a_n=0##, on the set ##ℝ_{<0}## I define f to be constantly 0 and on ##A\setminus (ℝ_{<0} \cup \mathbb N)## is extended linearly (I'm not so sure how to write this clearly). Then ##f## is piecewise linear and it's easy to check for injectivity of ##h##. It follows that ##c##=##|\{0,1\}^{\mathbb N}|####≤####|A|≤c##→##|A|=c##

Is this correct?
I think you are fussing about nothing. If you believe that your set A is defined as a subset of the continuous functions, hence |A|<=c, then to show that |A|=c all you have to do is find a subset B of A such that |B|=c. Isn't that pretty easy? How about f(x)=a for a in R?
 
Last edited:
  • #10
222
0
I think you are fussing about nothing. If you believe that your set A is defined as a subset of the continuous functions, hence |A|<=c, then to show that |A|=c all you have to do is find a subset B of A such that |B|=c. Isn't that pretty easy? How about f(x)=a for a in R?
I agree, I take a in R and I send it to the constant function f(x)=a for all x in R. This function is much simpler and it's immediate to check for injectivity.
 

Related Threads on Cardinality of a subset of real functions

  • Last Post
Replies
12
Views
2K
Replies
8
Views
3K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
3
Views
1K
Replies
4
Views
3K
Replies
3
Views
1K
Replies
6
Views
2K
  • Last Post
Replies
12
Views
6K
Top