Elementary questions about functions, notation, properties, and operations such as function composition.

learn more… | top users | synonyms (1)

8
votes
2answers
182 views

Continuous $f$ satisfying $f(2x)=f(x-1/4)+f(x+1/4)$ on $(-1/2,1/2)$

What are the continuous functions $f\colon (-\frac{1}{2},\frac{1}{2}) \to \mathbb{C}$ that satisfy the following functional equation, and how are they derived? ...
8
votes
1answer
94 views

Find $f$ such as $f(x) = \sum_{n=1}^\infty \frac{f(x^n)}{2^n}$

Find $f \in C^0([0,1] , \mathbb{R})$ such as $$f(x) = \sum_{n=1}^\infty \frac{f(x^n)}{2^n}$$ My try : Constant functions work fine. We can notice : $$f(x) = \frac{f(x)}{2}+\sum_{n=2}^\infty ...
8
votes
1answer
396 views

To get addition formula of $\tan (x)$ via analytic methods

Assume that we only know $\tan (0)=0$ and also given the relation $\tan'(x)=1+\tan^2(x)$ about $\tan (x)$ and we do not know other $\tan (x)$ relations of trigonometry. How can I get the additon ...
8
votes
1answer
84 views

Are there associative bijections $f\colon \mathbb{N} \times \mathbb{N} \to \mathbb{N}$?

This is my first question and I hope this question is not too brief to be acceptable: There are well-known bijections $\mathbb{N \times N \to N}$ and well-known associative compositions on countably ...
8
votes
2answers
75 views

Maximal ideals in $C^\infty(\mathbb{R})$

I know that for a compact manifold $M$ any maximal ideal in the algebra $C^\infty(M)$ of smooth functions on $M$ is of the form $\mathfrak{m}_p=\{f\in C^\infty(M)|f(p)=0\}$. For example, the proof is ...
8
votes
3answers
174 views

How do I read this question? (subject: bijections)

Introduction In Basic Algebra I, I am struggling with fully understanding the following exercise: Show that $S\overset{\alpha}{\to}T$ is injective if and only if there is a map ...
8
votes
2answers
615 views

What exactly is the fixed field of the map $t\mapsto t+1$ in $k(t)$?

Suppose $k$ is a field, and $k(t)$ is the rational function field. If $f(t)=P(t)/Q(t)$ for some polynomials $P(t)$ and $Q(t)\neq 0$, then the map $t\mapsto t+1$ sends $f(t)$ to $f(t+1)$. So the ...
8
votes
3answers
195 views

Determining the maximum value for the solution of this delay differential equation?

I am working on the following delay differential equation $$\frac{df}{dt}=f-f^3-\alpha f(t-\delta)\tag{1},$$ where $\frac{1}{2}\leq\alpha\leq 1$ and $\delta\geq 1$. I know that there are three ...
8
votes
2answers
298 views

$ \sum\limits_{i=1}^{p-1} \Bigl( \Bigl\lfloor{\frac{2i^{2}}{p}\Bigr\rfloor}-2\Bigl\lfloor{\frac{i^{2}}{p}\Bigr\rfloor}\Bigr)= \frac{p-1}{2}$

I was working out some problems. This is giving me trouble. If $p$ is a prime number of the form $4n+1$ then how do i show that: $$ \sum\limits_{i=1}^{p-1} \Biggl( ...
8
votes
1answer
218 views

Prove that : $|f(b)-f(a)|\geqslant (b-a) \sqrt{f'(a) f'(b)}$ with $(a,b) \in \mathbb{R}^{2}$

Let $(a,b) \in \mathbb{R}^{2}$ such that $a<b$ and $f\in C^2([a,b],\mathbb{R})$ such that $f'\neq 0$ and $f''/f'$ is decreasing. Prove that : $$|f(b)-f(a)|\geqslant (b-a) ...
8
votes
1answer
86 views

A question of rationality

This problem was asked to me by a friend and I simply have no idea about it. So I have not progressed a single bit. The problem is this: If $f :\mathbb{R}\to \mathbb{R}$ is an infinitely ...
8
votes
4answers
154 views

Why isn't $y=(x^6)^{1/3}$ a polynomial function?

I've been told that $y=(x^6)^{1/3}$ isn't a polynomial function because of the radical but I believe that the equation could be simplified to $y=x^2$ which fits the definition of a polynomial ...
8
votes
1answer
200 views

Function mapping challange

For a given set $A=\{1, 2, 3, 4, \ldots, n\}$, find the number of non-constant mappings (associations ) $f$ from $A$ to $A$ such that $f(k) \leq f(k + 1)$ and $f(k) = f(f(k + 1))$. This is ...
8
votes
2answers
345 views

Prove the following property of $f(x)$?

Let $$f(x)=|a_1\sin(x)+a_2\sin(2x)+a_3\sin(3x)+...+a_n\sin(nx)|.$$ Given that $f(x)$ is less than or equal to $|\sin(x)|$ for all $x$, prove that $|a_1+a_2+a_3+....|$ is less than or equal to ...
8
votes
1answer
51 views

About continuity

one question is disturbing me : let f and g two continuous (real-valued) functions on the unit interval [0,1] with the property that $[f(x)-f(y)][g(x)-g(y)]=0 ,\forall x,y \in [0,1]$. To my ...
7
votes
6answers
2k views

Example where $f\circ g$ is bijective, but neither $f$ nor $g$ is bijective

Can anyone come up with an explicit example of two functions $f$ and $g$ such that: $f\circ g$ is bijective, but neither $f$ nor $g$ is bijective? I tried the following: $$f:\mathbb{R}\rightarrow ...
7
votes
6answers
1k views

What do I not understand about one-to-one functions?

Firstly, a definition: Definition 1: A function $\phi : X \rightarrow Y$ is one-to-one if $\phi(x_1) = \phi(x_2)$ only when $x_1 = x_2$. Now the question: Students often misunderstand the ...
7
votes
7answers
376 views

Function satisfying $x = f(f(x))$ and $x \not= f(x)$

Is there a function that would satisfy the following conditions?: $\forall x \in X, x = f(f(x))$ and $x \not= f(x)$, where the set $X$ is the set of all triplets $(x_1,x_2,x_3)$ with $x_i \in ...
7
votes
3answers
463 views

Why is there no continuous log function on $\mathbb{C}\setminus\{0\}$?

Over the years, I've often heard that there is no logarithm function which is continuous on $\mathbb{C}\setminus\{0\}$. The usual explanation is usually some handwavey argument about following such a ...
7
votes
3answers
456 views

If $f \circ g = f$, prove that $f$ is a constant function.

Suppose $A$ is a nonempty set and $f: A \rightarrow A$ and for all $g:A \rightarrow A,$ $f \circ g = f$. Prove that $f$ is a constant function. This result seems obvious, but I can't seem to find ...
7
votes
2answers
320 views

Must $g$ be the identity if $f = g \circ f$?

I am finding it hard to solve the following problem. Let $A$ is a set and $f : A \rightarrow A$ and $g : A \rightarrow A$. If $f = g \circ f$, must $g$ be an identity function always? Will there be ...
7
votes
9answers
363 views

Nonpiecewise Function Defined at a Point but Not Continuous There

I make a big fuss that my calculus students provide a "continuity argument" to evaluate limits such as $\lim_{x \rightarrow 0} 2x + 1$, by which I mean they should tell me that $2x+1$ is a polynomial, ...
7
votes
6answers
212 views

Representing the function $\mathbb Z_9\to\mathbb Z_9$, $f(0) = 1$, $f(1) = \ldots = f(8) = 0$ as a polynomial in $\mathbb Z_9[x]$

Let $\mathbb Z_9=\left\{0,1,2,3,4,5,6,7,8\right\}$ be the set of integers modulo 9 and $f:\mathbb Z_9 \rightarrow \mathbb Z_9$ be a function. Assume $f(0)=1$, $f(1)=f(2)=...=f(8)=0$. What is the ...
7
votes
2answers
241 views

Does $F(t)F'(t) \le 0$ imply that $F$ does not change signs?

The question is in the title, really. More precisely, suppose $F:[0,1] \to \mathbb{R}$ is continuously differentiable and satisfies (i) $F(t)F'(t) \le 0$ for all $t \in [0,1]$ (ii) $F(0) = 1$ ...
7
votes
4answers
642 views

Solving the functional equation $f(x+1) - f(x-1) = g(x)$

Given a function $g(x)$, is it possible to find a function $f(x)$ that satisfies $$ f(x+1) - f(x-1) = g(x) $$
7
votes
3answers
173 views

Is every function $f : \mathbb N \to \mathbb N$ a composition $f = g\circ g$?

True or wrong: For every function $f: \mathbb N \rightarrow \mathbb N$ there is a function $g: \mathbb N \rightarrow \mathbb N$ with $f=g \circ g$.
7
votes
4answers
319 views

Is this proof correct for : Does $F(A)\cap F(B)\subseteq F(A\cap B) $ for all functions $F$?

Is this proof correct? To prove $F(A)\cap F(B)\subseteq F(A\cap B) $ for all functions $F$. Let any number $y\in F(A)\cap F(B)$. We want to show $y\in F(A\cap B).$ Therefore, $y\in F(A)$ and ...
7
votes
2answers
220 views

Is there a non-constant smooth function mapping $\mathbb{R}$ into $\mathbb{Q}$

I cannot think of a non-constant smooth function which maps all real numbers into rational numbers. Can anyone give a simple example ? The simpler, the better !
7
votes
6answers
359 views

Rigorous Definition of “Function of”

When I was learning statistics I noticed that a lot of things in the textbook I was using were phrased in vague terms of "this is a function of that" e.g. a statistic is a function of a sample from a ...
7
votes
4answers
322 views

The leap to infinite dimensions

Extending this question, page 447 of Gilbert Strang's Algebra book says What does it mean for a vector to have infinitely many components? There are two different answers, both good: 1) The ...
7
votes
4answers
166 views

A function satisfying $f(\frac1{x+1})\cdot x=f(x)-1$ and $f(1)=1$?

$f:[0,\infty)\to\mathbb{R}$ is a continuous function which satisfies $f(1)=1$ and: $$f(\frac1{x+1})\cdot x=f(x)-1$$ Does there exist such a function, if they do, are there infinitely many? And is ...
7
votes
3answers
284 views

If $f:N→N$ such that $f(f(x))=3x$, then find $f(2013)$

If $f:N→N$ such that $f(f(x))=3x$, then what is the value of $f(2013)$?
7
votes
4answers
163 views

Regarding the notation $f: a \mapsto b$

While I have come to understand that $f:a\mapsto b$ means that for input from the set $a$, the function will return a value from the set $b$, I am curious as to how far one may "drag" this notation. ...
7
votes
4answers
183 views

Mustn't a function map every element of its domain to range (but not codomain)? [Richard Hammack, P228]

How to Prove It, D Velleman P226, P228: Suppose $f$ is a relation from $A$ to $B.$ Then $f$ is a function from $A$ to $B$ means: $\forall \; \color{#009900}{a \in A}, \exists \; ! \; b \in ...
7
votes
3answers
283 views

Finite at every point but unbounded on every interval

Is is possible that a function $f$ is finite at every point but unbounded on every interval? What if f is measurable?
7
votes
1answer
145 views

$f(x)^2 ≥ f(x + y)(f(x) + y)$ for no $f$?

Prove that there is no function $f : \mathbb{R}^+ → \mathbb{R}^+$ such that $$f(x)^2 ≥ f(x + y)(f(x) + y)$$ for all $x, y > 0$. I can't think of a way of solving this.
7
votes
3answers
187 views

$f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ twice

Does there exist a continuous function $f: \mathbb{R} \to \mathbb{R}$ that takes each value in $\mathbb{R}$ exactly two times?
7
votes
2answers
221 views

Prove that between two roots of $f(x)$ there is a root of $g(x)$

Let $f(x),g(x)$ be differential functions, and $f'(x)g(x)\neq f(x)g'(x)$ for all $x\in\mathbb R$. Prove that between two roots of $f(x)$ there is a root of $g(x)$. I guess this has to do with Rolle's ...
7
votes
3answers
245 views

Category theory without codomains?

A surjection is a function whose range equals its codomain. Thus, the distinction between functions and surjections requires the notion of a codomain. Similarly, a bijection is an injection whose ...
7
votes
4answers
243 views

Why does $\ln(x) = \epsilon x$ have 2 solutions?

I was working on a problem involving perturbation methods and it asked me to sketch the graph of $\ln(x) = \epsilon x$ and explain why it must have 2 solutions. Clearly there is a solution near $x=1$ ...
7
votes
2answers
73 views

Prove that there exists a sequence $\{x_{n}\}$ such that for every $n\,\quad f_{n}$ has a global maximum

For every positive integer $n$ consider function $f_{n}(x)=n^{\sin x}+n^{\cos x},\ x \in \mathbb{R}$. Prove that there exists a sequence $\{x_{n}\}$ such that for every $n,\ f_{n}$ has a ...
7
votes
1answer
469 views

Higher Order Trigonometric Function

Once in a time, I had to work with functions that have the following Taylor series expansion: $$ t_m(x)=1-\frac{x^m}{m!}+\frac{x^{2m}}{(2m)!}+\cdots =\sum_{k=0}^\infty \frac{(-1)^k x^{km}}{(km)!}. $$ ...
7
votes
2answers
118 views

Continuous functions that satisfies $f(x) + f(1-x) + f(\sqrt{x^2+(1-x)}) = 0$ and $f(\frac12)=0$

$f:[0,1]\rightarrow \mathbb{R}$ is a continuous function which satisfies $$ f(x) + f(1-x) + f\left(\sqrt{x^2+(1-x)}\right) = 0 \text{ and } f\left(\tfrac12\right)=0. $$ Can someone give explicit ...
7
votes
3answers
255 views

Show that $\frac{(1-y^{-1})^2}{(1-y^{-1 -c})(1-y^{-1+c} )}$ is decreasing in $y > 1 $.

I am interested in the function $f(y) = \frac{(1-y^{-1})^2}{(1-y^{-1 -c})(1-y^{-1+c} )},$ for values of $c \in (0,1)$, and $y > 1$, and have been trying to show that the function is decreasing. I ...
7
votes
2answers
101 views

How to find period of $f$ if $f(x+13) + f(x+630) = 0$

Let $f:\Bbb{R}\to\Bbb{R}$ be a periodic function with period $T$. The question was to find the (fundamental) period given the following relation. $$ f(x+13) + f(x+630) = 0 $$ Now, the given method ...
7
votes
1answer
389 views

Can a function be increasing *at a point*?

From what I understand we say that a function is increasing on an interval $I$ if $$ x_1 < x_2 \quad\Rightarrow\quad f(x_1) < f(x_2). $$ for all $x_1,x_2\in I$. I understand that some might call ...
7
votes
2answers
240 views

Is the use of $\lfloor x\rfloor$ legitimate to correct discontinuities?

Is the use of $\lfloor x\rfloor$ legitimate to correct discontinuities? In functions like $\tan^{-1}(a \tan(x))$, the angle wraps and the result is discontinuous. Is it legitimate to redefine the ...
7
votes
1answer
221 views

When to create transcendental function to solve “unsolvable problem”?

$\int \frac{1}{x} dx$ is an unsolvable problem using standard laws of Calculus (power rule) without the use of the function $f(x) = \ln x$ which was handcrafted by mathematicians to solve such ...
7
votes
2answers
2k views

Change of order of double limit of function sequence

The more general quesion is under what conditions the folloing equality will hold (all functions are real valued): $$\lim_{x \rightarrow a} \ \lim_{j \rightarrow \infty} f_j(x) = \lim_{j \rightarrow ...
7
votes
1answer
355 views

Find $f(5)$ of a non-constant polynomial function $f(x)$

Suppose $f(x)$ is a non-constant polynomial such that $f(x^ 3) − f(x ^ 3 − 2) = f( x )\cdot f(x) + 12$ for all $x$. Find $f(5)$? I find this problem on Quora just now, and I try to solve it but do ...