Intereting Posts

Is there a section of mathematics that studies near-integer equations.
Non-squarefree version of Pell's equation?
Exponential Diophantine equation $7^y + 2 = 3^x$
Number of well-ordering relations on a well-orderable infinite set $A$?
Question about basic strategy in Blackjack
Non-standard models for Peano Axioms
How to raise a number to a quaternion power
Calculate the closed form of $\frac{\sqrt{5}}{\sqrt{3}}\cdot \frac{\sqrt{9}}{\sqrt{7}}\cdot \frac{\sqrt{13}}{\sqrt{11}}\cdot …$
Integral of $\int_0^{\pi/2} \ (\sin x)^7\ (\cos x)^5 \mathrm{d} x$
On applying the quadratic formula to a first-degree equation
A question about the relationship between submodule and ideal
Weird limit $\lim \limits_{n\mathop\to\infty}\frac{1}{e^n}\sum \limits_{k\mathop=0}^n\frac{n^k}{k!} $
What can we say about the kernel of $\phi: F_n \rightarrow S_k$
A complex polynomial with partial derivatives equal to zero is constant.
Dirichlet series

let E be subset of R which has no isloated points(or C does not have any isolated point of E) and C be countable subset of R does there exist a monotonic function on E which is continuous only at points in E-C?

The problem is from Royden 4th edition page 109.

I know the proof in case E is an open bounded interval only.

- Existence of continuous angle function $\theta:S^1\to\mathbb{R}$
- $A$ closed subset of a metric space $(M,d)$ , let $r>0$ , then is $X(A,r):=\{x\in M : \exists a\in A$ such that $d(x,a)=r\}$ closed in $M$?
- The continuity of the expectation of a continuous stochastic procees
- Proof of “the continuous image of a connected set is connected”
- $f:\mathbb R\to\mathbb R$ continuous function. Which of the following sets can not be image of $(0,1]$ under $f$?
- $(\delta,\epsilon)$ Continuity Proof

- Continuous extension of a uniformly continuous function from a dense subset.
- Find a general control and then show that this could have been achieved at x2
- Limit of sequence of continued fractions
- Tricks to Intuitively See Uniform Continuity
- Interchange of integration and summation and the Taylor expansion
- A continuous injective function and its inverse
- Is $dx\,dy$ really a multiplication of $dx$ and $dy$?
- Continuity of $f \cdot g$ and $f/g$ on standard topology.
- Using the definition of limit prove the following
- Absolutely continuous functions and the fundamental theorem of calculus

Let

$$L=\left\{x\in C:\exists y_x\in\Bbb R\big(y_x<x\text{ and }(y_x,x)\cap E=\varnothing\big)\right\}\;;$$

this is the set of points in $C$ that are not limits from the left of points in $E$. Another way to say it is that $x\in L$ if and only if $x\in C$ and $x>\sup_{\Bbb R}\{y\in E:y<x\}$. Let $Y=\{y_x:x\in L\}$; $C\cup Y$ is countable, so let

$$C\cup Y=\{x_n:n\in\Bbb N\}\;.$$

(I’m assuming that $C$ is countably infinite; if $C$ is finite, the problem is fairly trivial.) Let

$$f:E\cup Y\to\Bbb R:x\mapsto\sum_{x_n\le x}\frac1{2^n}\;.$$

Finally, let

$$g:E\to\Bbb R:x\mapsto\begin{cases}

f(y_{x_n}),&\text{if }x=x_n\in Y\\

f(x),&\text{otherwise}\;.

\end{cases}$$

The definition of $f$ ensures that $g$ is discontinuous from the left at every point of $C\setminus L$ and continuous everywhere else, and the modification to get $g$ ensures that $g$ is discontinuous from the right at every point of $L$ without affecting continuity at any other point of $E$. Thus, $g$ is discontinuous precisely at the points of $C$.

Yes, list $E\cap C = \{x_n:n=1,2..\}$. For each $x$ let $N_x=\{n:x_n<x\}$. Define $f(x)=\sum_{n\in N_x}2^{-n}$.

I do not quite see what is the role of $E$ in this question, we could define $f$ as above, initially disregarding $E$ (and using $C = \{x_n:n=1,2..\}$) and then later restricting this function to $E$.

Edit. This may not be “discontinuous enough” at points of $C$, as discussed in comments below. So define also $M_x=\{n:x_n\le x\}$, define $g(x)=\sum_{n\in M_x}2^{-n}$, and define $h(x)=f(x)+g(x)$. I hope $h$ works, if not then I do not understand the question and may need to read all over again.

Edit. $h$ is continuous at points of $E\setminus C$ (verify:). But $h$ (and any function) would be continuous at those points of $C$ that are isolated in $E$, that is at any $c\in C$ which has a neighborhood which misses all other points in $E$. It is ok if $c$ is isolated in $C$,but not in $E$, in that case $h$ would be discontinuous at $c$. Indeed $c=x_m$ for some $m$ (according to the above definition of $f$). So, $2^{-m}$ is not one of the members of the sum that defines $f(c)=f(x_m)=\sum_{n\in N_{x_m}}2^{-n}$ (this is since $m\not\in N_{x_m}$, since in the definition of $N_x$ we have strict inequality, but it is not true that $x_m<x_m$). On the other hand, if $x>x_m$, then $2^{-m}$ is one of the members of the sum that defines $f(x)=\sum_{n\in N_{x}}2^{-n}$, this is because $m\in N_x$, since $x_m<x$. It follows that if $x>x_m$ then $f(x)\ge f(x_m)+2^{-m}$, so $\lim_{x\to x_m^+} f(x)\ge f(x_m)+2^{-m}$, here we are assuming the there are points in $E$ to the right of $x_m$, arbitrarily close to $x_m$ (that is, we are assuming that $x_m$ is not isolated from the right in $E$). So $f$ has a jump at $x_m$ (to the right of $x_m$) so $f$ is discontinuous (from the right) at $x_m$. Similarly, if $x_m$ is not isolated from the left in $E$ then one may show that $\lim_{x\to x_m^-}f(x)\le f(x_m)-2^{-m}$, so $g$ has a jump at $x_m$ (at the left of $x_m$). So, if $x_m$ is not isolated in $E$ then it is either not isolated from the left, or not isolated from the right, or both, so either $g$ of $f$ or both are discontinuous at $x_m$, so $h$ is discontinuous at $x_m$. You should be able to verify all these details yourself, once you know what you are trying to prove.

- $n$th derivative of $e^x \sin x$
- Prove that $\operatorname{Gal}(\mathbb{Q}(\sqrt{2}, i)/\mathbb{Q}(\sqrt{-2})) \cong Q_8$
- Integrable function and measure space
- Integral of odd function doesn't converge?
- Some basic book to start with modules?
- Diophantine applications of Spec?
- If $A^2=2A$, then $A$ is diagonalizable.
- Mathematics of Tetris 2.0
- Let $R$ be the set of all integers with alternative ring operations defined below. Show that $\Bbb Z$ is isomorphic to $R$.
- An integral for $2\pi+e-9$
- Uniform convergence for $\sum_{n=1}^\infty n^\alpha x^{2n} (1-x)^2$
- Properties preserved by diffeomorphisms but not by homeomorphisms
- How much can a fraction reduce?
- Is it true that $A \cup (B – C) = (A \cup B) – (A \cup C)$?
- Are there iterative formulas to find zeta zeros?