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

learn more… | top users | synonyms (1)

8
votes
4answers
149 views

Is there an integral representation for $\frac{1}{n!}$?

I know that $n!$ has various integral representations, for instance the $\Gamma$ function. I was wondering if $\frac{1}{n!}$ has an integral representation.
8
votes
8answers
694 views

How to denote “powers” of a function?

I'm working with functions themselves, and I have learned that functional powers mean composition so: $f^3 = f \circ f \circ f$ But I'm looking for something that means $fff$. So $(fff)(x) = ...
8
votes
2answers
963 views

Why use the derivative and not the symmetric derivative?

The symmetric derivative is always equal to the regular derivative when it exists, and still isn't defined for jump discontinuities. From what I can tell the only differences are that a symmetric ...
8
votes
4answers
541 views

Is $\tan\theta\cos\theta=\sin\theta$ an identity?

A friend of mine, who is a high school teacher, called me today and asked the question above in the title. In an abstract setting, this boils down to asking whether an expression like "$f=g$" is ...
8
votes
4answers
422 views

Can the Identity Map be a repeated composition one other function?

Consider the mapping $f:x\to\frac{1}{x}, (x\ne0)$. It is trivial to see that $f(f(x))=x$. My question is whether or not there exists a continuous map $g$ such that $g(g(g(x)))\equiv g^{3}(x)=x$? ...
8
votes
2answers
643 views

Is a function changed into another function by a change of variables?

If I have a function $ u(x,t) = p(x+ct) + q(x-ct) $ (which is the d'Alembert solution to the $1D$-wave equation), I can make the substitutions $$ \xi(x,t) = x + ct\\ \eta(x,t) = x - ct $$ So I am ...
8
votes
3answers
1k views

Proof of a simple property of real, constant functions.

I recently came across the following theorem: $$ \forall x_1, x_2 \in \mathbb{R},\textrm{function, } f: \mathbb{R} \rightarrow \mathbb{R}, x \mapsto y; \ |f(x_1) - f(x_2)| \leq (x_1-x_2)^2 \implies ...
8
votes
5answers
593 views

General Introduction to Functional and other Mathematic Notations

I've been a programmer for a good while now. Fairly experienced at a bit of math as far as coming up with algorithms and such but I am far far behind on understanding quite a deal of notation. Here ...
8
votes
5answers
576 views

Study continuity of this function

Hello im studying calculus at the university and I dont know how to solve the following exercise: Study the continuity of the next function: $$f(x,y) = \begin{cases} \frac{x^2-xy}{x+y}&\text{for } ...
8
votes
1answer
282 views

Function $f:\mathbb R^+\rightarrow \mathbb R^+$ that is eventually greater than $x^{x^{x^{…^{x^x}}}}$

For each $n$, define $f_n:\mathbb R^+\rightarrow \mathbb R^+$ by $f_n(x) = \underbrace{x^{x^{x^{...^{x^x}}}}}_n$ I want to find a function $f:\mathbb R^+\rightarrow \mathbb R^+$ such that for any ...
8
votes
4answers
295 views

Is it known or where does this lead to?

I am eleventh class student, recently I started learning calculus. I was experimenting on various things, and found a new thing. It is as follows. Let us consider a function $f(x)$which is ...
8
votes
5answers
473 views

Does there exist a function $f:[0,1] \to[0,1]$ such its graph is dense in $[0,1]\times[0,1]$?

Does there exist a function $f:[0,1]\to [0,1]$ such that the graph of $f$ is dense in $[0,1]\times[0,1]$? Not necessarily continuous.
8
votes
2answers
4k views

What is a function to represent a diagonal sine wave?

I need to be able to plot pixels in this pattern. To me, it looks like a sine wave pattern that is both diagonal and convergent. What would a function for that look like? Thanks.
8
votes
2answers
409 views

Proving that if $|f''(x)| \le A$ then $|f'(x)| \le A/2$

Suppose that $f(x)$ is differentiable on $[0,1]$ and $f(0) = f(1) = 0$. It is also known that $|f''(x)| \le A$ for every $x \in (0,1)$. Prove that $|f'(x)| \le A/2$ for every $x \in [0,1]$. ...
8
votes
4answers
693 views

Is the following a valid mathematical statement?

For all $f:\mathbb N\to\{1,2,3,\ldots,100\}$, If $f$ is a one to one correspondence, Then $f^{-1}(2)=3$ It seems as though this should not be a valid statement, since the implication fails to ...
8
votes
4answers
743 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 ...
8
votes
3answers
346 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 ...
8
votes
2answers
54k views

Types of polynomial functions. Quadratic, cubic, quartic, quintic, …,?

I would very much like to have a complete list of the types of polynomial functions. I know that theres: ...
8
votes
2answers
283 views

Odd $C^\infty$ function

Suppose that $$f\in C^\infty (\mathbb{R})$$ and $f$ is an odd function. ($f(x)=-f(-x)$) What can we say about the zero at zero? Does $f$ have to be of the form $x g(x)$ for some $g\in C^\infty ...
8
votes
3answers
286 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?
8
votes
4answers
969 views

Proof of linear independence of $e^{at}$

Given $\left\{ a_{i}\right\} _{i=0}^{n}\subset\mathbb{R}$ which are distinct, show that $\left\{ e^{a_{i}t}\right\} \subset C^{0}\left(\mathbb{R},\mathbb{R}\right)$, form a linearly independent set ...
8
votes
2answers
799 views

On sort-of-linear functions

Background A function $ f: \mathbb{R}^n \rightarrow \mathbb{R} \ $ is linear if it satisfies $$ (1)\;\; f(x+y) = f(x) + f(y) \ , \ and $$ $$ (2)\;\; f(\alpha x) = \alpha f(x) $$ for all $ x,y \in ...
8
votes
4answers
216 views

if the function $f(f(n))+f(n)=2n+2014$,find the $f$

let the function $f:N^{+}\to N^{+}$,and such $$f(f(n))+f(n)=2n+2014$$ Find the $f(n)$ My try: let $n=1$,then we have $$f(f(1))+f(1)=2016$$ let $f(1)=a$,then $$f(a)+a=2016$$ and let ...
8
votes
2answers
159 views

What is the meaning of $\mathbb{R}\setminus\{0\}$?

This is used in many posts related to functions and googling it doesn't help. What does this mean? $\mathbb{R}$ should stand for all Real numbers.
8
votes
1answer
672 views

What is meant by “m|n”? Two letters separated by a vertical bar (|)

I am new to this subject, and not not sure what "|" symbol means on this statement. Let $R_2 \subset\Bbb N \times\Bbb N$ be defined by $(m, n) \in R_2$ if and only if $m|n$.
8
votes
7answers
241 views

Prove that $f(x)\equiv0$ on $\left[0,1\right]$

Let $f(x)$ differentiable on $\left[0,1\right]$ such that $f(0) = 0$. Also, assuming that $\forall x\in \left[0,1\right]:\left|f'(x)\right| \le \left|f(x)\right|$. Prove that $f(x)\equiv 0$ What I ...
8
votes
3answers
81 views

$(\Bbb R \to \Bbb R : x\mapsto x^2)\equiv(\Bbb R \to \Bbb{R}_{\geq 0} : x \mapsto x^2) \not\equiv (\Bbb C \to \Bbb C:x\mapsto x^2)$

Consider the following functions: $f:\Bbb R \to \Bbb R : x\mapsto x^2$ $g:\Bbb R \to \Bbb{R}_{\geq 0} : x \mapsto x^2$ $h:\Bbb C \to \Bbb C:x\mapsto x^2$ I'm quite sure that $h$ is not equal to $f$ ...
8
votes
3answers
196 views

Can we take images of equivalence relations?

Given a function $f : X \rightarrow Y$, it is well-known that we can take the image under $f$ of any subset $A \subseteq X$, and we can take the preimage under $f$ of any subset $A \subseteq Y$. This ...
8
votes
3answers
245 views

is the following a decreasing function?

I am stuck on figuring out why the following function is a decreasing function when I read a paper. The function is following $$f(x)=-\frac{1}{x}\log[{pe^{-ax}+(1-p)e^{-bx}}]$$ where $a$ and $b$ are ...
8
votes
3answers
2k views

chain rule using tree diagram, why does it work?

In multivariable calculus, I was taught to compute the chain rule by drawing a "tree diagram" (a directed acyclic graph) representing the dependence of one variable on the others. I now want to ...
8
votes
2answers
189 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
4answers
133 views

What is the inverse of $2^x$? [duplicate]

Note: This may not be correct mathematical term, so in case of confusion, I mean what division is to multiplication. If not, just poke me in the comments. I was given this the other day: $2^x=8$ ...
8
votes
1answer
119 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
2answers
420 views

if $|f(n+1)-f(n)|\leq 2001$, $|g(n+1)-g(n)|\leq 2001$, $|(fg)(n+1)-(fg)(n)|\leq 2001$ then $\min\{f(n),g(n)\}$ is bounded

The following question was proposed at MOP 2001 A function $f:\mathbb{N}\to\mathbb{N}$ is called cautious if $|f(n+1)-f(n)|\leq 2001$ for all $ n\in\mathbb{N} $. Suppose that $f,g,h$ are ...
8
votes
2answers
105 views

Is function $f:\mathbb C-\{0\}\rightarrow\mathbb C$ prescribed by $z\rightarrow \large \frac{1}{z}$ by definition discontinuous at $0$?

Is function $f:\mathbb C-\{0\}\rightarrow\mathbb C$ prescribed by $z\rightarrow \large{\frac{1}{z}}$ by definition discontinuous at $0$? Personally I would say: "no". In my view a function can only ...
8
votes
3answers
265 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
101 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
1answer
414 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
90 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
3answers
182 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
1answer
242 views

If the set of values , for which a function has positive derivative , is dense then is the function increasing?

Let $f:\mathbb R \to \mathbb R$ be a differentiable function such that $A:=${ $x \in \mathbb R :f'(x)>0$ } is dense in $\mathbb R$ , then is it true that $f$ is an increasing function ? What ...
8
votes
1answer
145 views

If the function $f$ satisfies the equation $f(xf(y)+x)=xy+f(x)$, find $f$

Question Let the function $f:\mathbb R\to\mathbb R$,and such $$f(xf(y)+x)=xy+f(x)$$ Find all $f(x)$ Let $x=1,y=1$,then $$f(f(1)+1)=1+f(1)$$ let $f(1)=t$,then $$f(t+1)=1+t$$ So I guess ...
8
votes
1answer
243 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
84 views

Is every real valued function on an interval a sum of two functions with Intermediate Value Property?

If $I$ is an interval of real numbers , then is it true that any function $f:I \to \mathbb R$ can be written as $f=f_1+f_2$ , where $f_1 , f_2 : I \to \mathbb R$ have the Intermediate value property? ...
8
votes
1answer
99 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
293 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
217 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
351 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
96 views

How many expressions can be formed with two commutative and associative functions?

EDIT: I have posted a generalization of this question to MathOverflow here. Suppose we have two binary functions $f,g$ which are commutative and associative, i.e., satisfying $$ f(a,b) = f(b,a) ...
8
votes
1answer
57 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 ...