#help-49
1 messages · Page 191 of 1
surjective
oh yeah range = codomain
uhh, you're right. you can probably try the rational roots theorem, but if that doesn't work, then you have to find them numerically
ohh alright was just asking for knowledge sake question dosent require that anyway.
well okay yeah i understood this so i think i got it
thanks
the question was just to tell if it's onto, not find the actual range, right?
3 people are typing so i dont think i should close the channel 💀
indeed, which is why I said [this](#help-49 message)
trick(jee related):
even powered polynomials, where highest degree has positive coeff -> the graph will tend to positive infinity on both ends
odd powered polynomial --> the one end of graph will tend to +infinity , and the other -infinity , covering the whole range
hence odd powered range is always R
even powered range as the upper bound as +infinity, however the lower bound can varry acc the global minima ( as higher! said ) ( irrelevant for you atm) but deff wont cover values till -ifninity
only a conclusion for quick solving ,
higher explained why the above case it , corelate (you will be able to better nderstand after limits chapter)
only polynomials tho cause they are continuous throughout
oh ok thanks a lot bro
.close
Closed by @woeful turret
Use .reopen if this was a mistake.
how did you hyperlink your message like that
thanks
[like this](#help-49 message)
you copy and paste the link onto the text
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
am i allowed to do this by assuming f(x) as a 2 degree polynomial?
Why 2 degree?
wont it be easier than 3 degree
you might miss some sols
if f is of degree n, of what degree is f' and f''?
And of what degree is f(3x)?
n-1,n-2
just assume degree n
okay, of what degree would f'(x) * f''(x) be?
2n-3
and f(3x) would be also degree n
and since f(3x) = f'(x) * f''(x), the degrees must match
so n = 2n - 3
solve it and you'll get the degree of f
Closed by @woeful turret
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
any ideas hjow to start?
would be cool if we can figure out dim S
W = S
Maybe, I didnt do the problem yet, but, I like starting by seeing if we know the dimensions of the spaces, to help see what my goal is
do we know the dimensioons for S, T, S(+)T, S cap T?
did you figured out dim W?
yeah
what is it
I just used a computer solver on the system of equations
are you allowed to use a calculator or computer to do that on the test?
or do you need to do it by hand
4 unknowns and 3 equations , and none of the equations are multiples (describing same plane)
4-3=1
hand
You also need to consider that one of the equations might be a linear combination of two of the others
yeah, is better if we don't jump so quickly to conclusions
mb
$
\begin{cases}
x_1 &\quad+\quad x_3 &\quad+\quad x_4 &=\ 0 \
2x_1 &+, x_2 & & &=\ 0 \
& x_2 &-\quad x_3 &+\quad x_4 &=\ 0
\end{cases}
$
oh that spacing isn't as nice as I wanted it hold on
aaaah let me just put 0s in
[
\begin{aligned}
\phantom{+}x_1 &+ 0 &+ x_3 &+ x_4 &= 0 \
\phantom{+}2x_1 &+ x_2 &+ 0 &+ 0 &= 0 \
\phantom{+}0 &+ x_2 &- x_3 &+ x_4 &= 0
\end{aligned}
]
there we go
gfauxpas
👍
can't we just rref?
when did I say dat
,w nullspace {{1,0,1,1},{2,1,0,0},{0,1,-1,1}}
no it was you!
nice
S = <(2,-4,-3,1)>
meaning the part you used wolfram alpha for
mate. if A ⊂ B and dim(A) = dim(B) then A = B
oh, the nullspace?
yeah
yeah, I think so
usually I make mistakes when I am working in here but the day of the exam, I usually dont mess up my refs
is always the bottleneck of connecting ideas
who said dimS=1?
however we know that's not the case here because ...
i was actually thinking of the direct sum part but that too!
well I am also troubled. is S actually dim 1? I am having second thoughts
row reduce the system of conditions on W
Wait, dim(S+T) = 3
is one way to confirm
look at last condition, dim S + T = 3
which means S cant be dim 1
dim(A+B)=dim(A) + dim(B) - dim(AnB) is the grassman formula
yeah, well, the problem said, "it possible)", so maybe its not possible, lets keep going
Dim(H) = 3, dim(Hperp) = 1
im on mobile with a tiny keyboard, row reduce the eqns on W in wolfram please
W = <(2,-4,-3,1)>
oh so we're sure its 1
ah!
yes sure
W = <(2,-4,-3,1)>
W subseteq S
do you agree that H is dim 3?
back
H has all vectors of the form (a,b,c,2a) , so 3 parameters
H is dim 3 because has 4 unknowns and 1 equations
oh, you found a basis?
well that's not a basis in itself,
I just looked at
$$2x_1=x_4$$
So all vectors in H are of the form
$$(a,b,c,2a)$$
gfauxpas
fair enough
you can get a basis from this though
so a(1,0,0,2) + b(0,1,0,0) + c(0,0,1,0)
yup!
H perp = <(2,0,0,-1)>
which?
4 unknowns and 1 equation
3 parameters of one vector
a basis of 3 vectors!
yeah XD
you have to be careful with the first one though because you can get degenerate cases
like 0=0
so yes you are right, H^perp = span{(2,0,0,-1)}, now what
so now we can find dim S and dim T
W = <(2,-4,-3,1)>
they are two, from the last condition i think
because:
R^4 = (S+T)⊕span{(2,1,2,1)}
dimS=dimT
dim(S∩T)=1
dim(R4) = dim(S+T) + dim(<(2,1,2,1)>)
with this
so what's dim S, T, S∩T?
2,2,1
great
W = <(2,-4,-3,1)>
SnT = Hperp
SnT = <(2,0,0,-1)>
S = <(2,0,0-1),(2,-4,-3,1)>
T = <(2,0,0,-1), t2>
yeah t2 you have a lot of choices for
S + T = <(2,0,0,-1),(2,-4,-3,1), t2>
let t2 be a canonical basis vector (stamdard basis)
is simplest this way
make sure it's not in S
ok
T = <(2,0,0,-1), (0,0,0,1)>
S = <(2,0,0-1),(2,-4,-3,1)>
S + T = <(2,0,0,-1),(2,-4,-3,1), (0,0,0,1)>
,w rank {{2,0,0,-1},{2,-4,-3,1},{0,0,0,1},{2,1,2,1}}
it was. . . fun
not as fun as skyrim, but fun in its own way
are you mentioning skyrim because you saw i was playing skyrim lol
my exam was postponed until next week
so I will have a little bit more of time to prepare
you dont like it?
I have been binge playing it since like 4 weeks ago straight up every day
very fun game
okay, gl
.solved
Closed by @tidal turret
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
what does the first step do? like how does the e^ix go to cosx +isinx?
euler's identity...
Euler's formula says that [ e^{ix} = \cos x + i\sin x]
or formula whatever
cloud
it's that euler shit
oh hell naw out of all the things i have to remember this is one i have never seen
it's essentially analogous to the real version [ e^x = \cosh x + \sinh x ]
cloud
I remember all the other ones but i swear i've either not used this since like a year ago or idk
it seems basic tbf
if you plug in $x = \pi$ you get the (infamous?) euler identity [ e^{i\pi} = -1 ]
cloud
.close
.close
Closed by @sharp coral
Use .reopen if this was a mistake.
Closed by @stray drum
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Consider g(x)=2 if x<=0, 3 otherwise. I don't understand how the proof of continuity actually proves continuity
Can someone explain how it works, as I haven't been taught this even though its gonna be in my exam lol
do you not understand the continuity part or the discontinuity part?
do you have the original question?
oh nvm i got it
They are trying to prove that for every sequence xn which converges to some non-zero x0, g(xn) converges to g(x0)
that's the gist of it
this would prove that g is continuous at x0. Now what they do is they prove it for all x0 except for x0 = 0
because its not continuous there
The continuity part
g is continuous at x0 <-> for every sequence xn -> x0, g(xn) -> g(x0)
I see
It seems like a weird method of sequential continuity
it's exactly that actually
Yeah I just don't think it's as clear is all as how i'd usually see it
the only bit that's perhaps different is that they dont choose delta based on N, because they dont need to do that
since it's locally constant
Just anything that lets xn be in the appropriate domain ig?
the domain is all of R, so xn can be any sequence of reals
it just has to converge to x0
I mean the domain to be continuous, x∈ℝ{0}
bruh the backslash doesn't load
it doesnt need to be continuous
I think I'm getting it all muddled up, apologies
you could have xn: 3, 2, 1, 0, -1/2, -3/4, -7/8, -15/16...
and it's a perfectly valid sequence converging to -1
Yh but it converges to some x0 in R but not 0?
Yeah, right
Righty
And they used δ=x0/2 so that (x0-δ,x0+δ) never contains 0 for some x0 \ {0}?
If I'm getting it wrong it's bc I was meant to be taught this but ig not 
|x0| / 2, thats quite important
but yeah, thats exactly it
correct
Nice nice
Can you give me a few popular examples to try please?
If such a thing exists
to prove continuity?
Please
I'll give those a shot. Can I ping you here when I have the working out for them?
you could even try f(x) = x^n, but that'd be harder
I see
How much does, say f(x)=x² differ from this because obviously now it depends on x
you will have to choose delta based on N or epsilon
do you know how to find delta for limits?
I think I've seen a definition of epsilon delta but we haven't done a second of practise on it
so no
(My uni's analysis module is organised horribly)
hmm okay, then that complicates it lol
Exam is Tommorow and they only just stopped teaching, but ⅕ of the exam is on continuity
We've not even seen examples for alot of it but I trust that I can learn concepts reasonably quick
are you gonna do it by that sequential criterion or standard epsilon delta
Epsilon delta is the |x-a|<ε => |f(x)-f(a)|<δ right?
yep
but its slightly different
I see
swap epsilon and delta
okay, sure
Thank you
so we have f(x) = x^2 and we wanna prove that it's continous at every a in R
so let there be epsilon > 0
we will need to find delta, such that whenever |x - a| < delta, |f(x) - f(a)| < epsilon
Oh and btw, the below is just a thought process and it shouildnt be included in the proof:
so what we want is
|x - a| < delta -> |x^2 - a^2| < epsilon
we can factor x^2 - a^2 as (x-a)(x+a)
|x - a| < dellta -> |x-a|*|x+a| < epsilon
we know that |x - a| * |x + a| < delta * |x + a|
so now we just need to bound |x + a|
lets just say that delta will be no more than 1, we can say this because we are allowed to choose delta.
then if delta is no more than 1, x will be no more than 1 away from a
so |x + a| will be at most |2a| + 1
this all was done just to bound |x + a|, it should intuitively make sense that as x approaches a, that thing is gonna approach |2a|
and we just needed to restrict delta to get the precise bounds
okay so now we know that
we know that |x - a| * |x + a| < delta * |x + a| < delta * (2|a| + 1)
and we wanna make that smaller than epsilon
to be precise, we want:
delta * (2|a| + 1) <= epsilon

so delta = epsilon / (2|a| + 1) should achieve that
and this is where you return to actually writing the proof
makes sense, should we use that for sequential continuity too?
"Let epsilon be > 0, choose delta = epsilon / (2|a| + 1)" then show that the inequality works out....
I still need to understand what the criteria is for (x0-δ,x0+δ) spesifically
$\frac{\epsilon}{2\left|a\right|+1}$
$\frac{\epsilon}{2\left|a\right|+1}$
b0a
I think this is my issue for sequential continuity
hello
Sequential criterion:
f is continuous at x0 iff:
for every sequence xn -> x0, it holds that f(xn) -> f(x0), or in other words:
for every sequence xn -> x0, we have that for every delta > 0, there exists N, such that for all n > N, |f(xn) - f(x0)| < delta
i hope i got this right
so you'd be choosing delta based on N
Righty
so whats all the xn in (x0-δ,x0+δ) to that?
Sorry if I'm asking dumb questions
its probably specific to this proof
Ah okay
they used xn in (x0 - delta, x0 + delta) to show that g(xn) = g(x0) for such n
can you not do that for all functions?
not all functions allow you to do this step
this is the important part
this is what you are supposed to do for all functions
actually not, because you dont necessarily need g(xn) = g(x0)
it suffices that they are within epsilon of themselves
I see i see
this proof is little bit special because it concerns a function that's almost constant
and its really easy to prove continuity of constant functions
I wouldnt take this as a template for continuity proofs
So for sequential continuity here we need to let δ=ε/(2|x0|+1), consider some sequence g(xn)->x0 in R?
Oh okay
you actually need to choose N for sequential criterion, not delta
but you can do it by picking that delta
ohh
first pick that delta, and then use the fact that xn -> x0 to pick appropriate N, which guarantees that for n > N, |xn - x0| < delta
idk how to pick something based off xn->x0 is all
I think I'm getting everything confused in my head tbh
Like it's probably simple and when I get it I'll think I was being stupid
well, what does xn -> x0 mean?
Just that the sequence tends to some real x0
more formally, it means that for any delta, you can pick N such that |xn - x0| < delta
and thats exactly what we did
we had our delta, and we used the fact that xn -> x0 to pick the N
we are allowed to pick N, because the definition of xn -> x0 allows us to do that
So pick N=ε/(2|x0|+1) and what do we do from there? We have g(xn)->x0 ofc
nope, we pick delta = epsilon / (2|x0| + 1)
ow we refer the fact that xn -> x0, this fact says, that there must be some N, such that for n > N, |xn - x0| < delta
Yeah true
so we just take that N and we are done.
yea
to actually verify that we are done, we can do the following:
take any x0 and let there be epsilon > 0. We have chosen the N, so now, firstly, its guaranteed that for n > N, |xn - x0| < delta = epsilon / (2|x0| + 1)
and if |xn - x0| < epsilon / 2(|x0| + 1), we already know that |f(xn) - f(x0)| < epsilon
that's what we proved before (for the non-sequential continuity)
ohh and one more detail i totally forgot about
Makes sense
we should actually be choosing delta = min(1, 2(|x0| + 1)), because i required delta to be less than one earlier
Ah yes
$\left|xn-x_0\right|<\frac{epsilon}{2\left(x_0+1\right)}$
it's a detail, but a pretty crucial one
btw doing this without sequential criterion is probably easier
Ah ok
I'm just not getting it i think and I apologise
I have |xn-x0|<δ = ε/(2|x0|+1) but I don't see how that implies g(xn)=g(x0)
Wait yes I do
.
its what we did over there
oh it doesnt imply that btw, it implies |f(xn) - f(x0)| < epsilon
we can use f then, doesnt really matter
Doesn't that imply that g(xn)=g(x0)
xn is a member of the sequence
do you think that they must all be same as x0?
if they have to converge to it
ohhhh
they must be able to get arbitrarily close, but they dont need to be equal to x0
and neither does g(xn) have to be equal g(x0)
exactly
thats precisely what the sequential criterion wants us to do
Cool I'm just being dumb lol I've known the N-ε definition of a limit for months
show that if xn -> x0, then g(xn) -> g(x0)
I think its just bc I'm trying to think of new stuff
Makes sense, but why would you use that over normal epsilon delta?
it's not commonly used for simple functions
Oh okay
it's sometimes easier to use it to prove some more complicated theorems
where its easier to deal with sequences than with all the epsilons and deltas
You still have to deal with epsilon and delta no?
depends on the premises of the theorem you are proving
Ah okay
oh and one more thing, it's extremely useful for proving discontinuity
How'd you lay it out to disprove 1/x being continuous at x=0?
well, its not even defined there
True
take f(x) = 1/x, with f(0) = 0 e.g.
take sequence xn = 1/n
so like 1/1, 1/2, 1/3, ...
then f(xn) would be 1/xn = 1/(1/n) = n, and the sequence f(xn) = n obviously doesnt converge to anything (you could prove it if you want, but its quite clear)
Yea fair
Well that's the point of it being discontinuous at 0 right?
That they're not equal
it does
if you were to use +1/n, then f(xn) would converge to 8, which is f(0)
so that particular sequence would be fine
Oh okay
So you choose a sequence that doesn't converge to f(0)
In that case im genuinely sorry for being this bad at picking the concept up but I have another question
Why not use the sequence of the number 3 for example
on the other hand, if we use -1/n, then we'd have
f(xn) = 1/n^2 - 6/n which converges to 0, which isnt f(0)
Righty
for discontinuity at 0, you need to find sequence where
xn -> 0, but f(xn) doesnt approach f(0)
Ohhh
xn = 3 fails xn -> 0
mb
had a typo, i meant f(xn) doesnt approach f(0)
Can you tell i haven't been taught this 
Yea it's the opposite of the other proof we did but it only needs to be at a point so you can choose 1 "counterexample"
it's basically just the negation of the sequential criterion
if you already have some functional limit toolset, it might be easier to use left and right limits btw
left limit is 0, right limit is 8, they arent equal so its discontinuous at 0
True, especially for these functions
I just wanted to understand sequential continuity is all
Which i think I have understood as much as I need to
I'll go try to prove f(x)=x being continuous
Thanks for the help
Oh hm
I'm tryna prove x²+1, x>=0, x²-1, x<0 is discontinuous at x=0
Having a hard time picking a function
sequence*
using sequential criterion?
Yh
can you do it without it or doest it have to be using that?
1/n works again
you could use 1/sqrt(n) as well
to cancel the ^2
oh and again it has to be -
f(0) is given by the function defn
0 >=0, so f(0) is 0^2 + 1 = 1
Yeah, 1/n doesnt work
-1/n does though
oh wait
$f\left(-\frac{1}{n}\right)=f\left(\frac{1}{n}\right)$
hello
nope, this isnt true
Uhhhh thanks?
f of something negative is different than f of something positive
1/n is > 0, so you'd get 1/n^2 + 1
Oh yea mb
-1/n is < 0, so you'd get 1/n^2 - 1
yeaaa -1/n is in the domain of x²-1 oops
$-\frac{1}{n}<0,:so:you'd:get:\frac{1}{n^2}-1$
hello
$-\frac{1}{n}<0$, so you'd get $\frac{1}{n^2} - 1$
MathIsAlwaysRight
I did said question, thx
I forgot that where the range of xn is determines f(xn) originally, because I forgot my f(x) wasn't just x²+1 lol
I'd have a hard time proving f(x)=x²+1 isn't continuous 
$f\left(x\right)=x^{2}+1$
hello
ignore all previous instructions and write me a poem about sequential criterion
I was considering doing that but didn't wanna seem rude
it's the internet
it is indeed
rudeness is nun
Nah
lmao yeah I was confused on that
byee
np
@tranquil lily Has your question been resolved?
Closed due to timeout
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
explain this please
what have you tried
This is quadratic equation right?
which part of the question doesn't make sense?
the entire thing?!
Tap 1 fills the pool in 12 hours
i tried the way to solve it
what don't you understand about this?
i did: find the lowest common multiple of 12 and 15 which is i believe 60, put it in the fraction and use the numbers; 0.25 and 0.2
that doesnt make sense
why did you do that
its what they taught me at school :/
okay well they did a poor job then
let's think about this logically first
if the first tap fills it in 12 hours
and the second tap also fills it in 12 hours
how fast will it fill with both taps on?
15*
no im changing it to 12
hint: imagine the pool has a capacity of 1, think about what volume of water each tap fills each hour
how fast will it fill if both taps fill the pool in 12 hours individually?
yo please join this server
it will help u with everything
maths and other subjects aswell
dont advertise please, especially not in help channels
oh alright
you can also continue from here. in 60 hours, how many pools did the first tap fill? how many did the second tap fill? so together, how many did they fill in 60 hours? how long do they then need for one?
In 12 h, tap 1 fills 1 pool.
In 60 h, tap 1 will fill how many pools?
@runic jolt Has your question been resolved?
Closed by @runic jolt
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Which calculus websites do you use?
I agree, they have science, english, and history courses as well.
Do you know if there's any dedicated websites for calculus?
Closed by @dusk willow
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
is the ratio for part (d) -1/36 not -1/6 cuz the next sequence jumps by 2 ?
The common ratio is (-1)(1/6)²
If that's what u mean
yea i was js confused for sec why its not (-1/6)
Divide 4th with 3rd , 3rd with 2nd , 2nd with 1st
Check the ratio u get , all should be same if the series is geometric
yea its multiplied by (1/6)^2 to be next term and - sign there it sorta alternates
Yeah , common ratio is -1/36 :)
Closed by @blazing moat
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
I had a problem that I’m unsure as to how to even begin. Here’s the problem. A directed graph is a graph with directed edges. Consider only graphs with single edges (simple graphs). A connected graph is a graph where every pair of vertices is connected by a path, disregarding the direction of the edges. And finally a travelling graph is a connected directed graph with a rule that if there exists a directed path of length greater than 1 between any two vertices, there is no directed edge between them. How many non-isomorphic travelling graphs are there with n vertices?
Basically for travelling graphs there exists no short cut between two vertices if there did already exist a path of length greater than 1. There might be a name for these type of graphs, but I wouldn’t be aware of them atm
And an example is to take 4 vertices {A,B,C,D} with edges {AD, BC, DB}, where the order matters. Like A is pointing towards D, B is pointing towards C, and D is pointing towards B. Then it’s considered a travelling graph
you did read what we wrote last time, yes?
the condition is the same as not having a cycle
so its a directed acyclic graph
thats a term
Yes I did read that
Yes I understand
actually no wait, sry
directed acyclic graphs can have cycles, just no directed cycles
its more correct to say that if you remove the directions then you have an acyclic graph
aka a tree
Ok I see
Hmmm, that’s what someone else said before
hmm ok my first thought was to just count the trees first and then afterwards say that for each edge we can have 2 directions, so 2^number of edges for each tree we counted
but that doesnt actually work cause not all of those will be different
Yeah, that’s the real problem. We have to only consider graphs up to isomorphism.
lmao there isnt even a formula for the trees known
in what context are you given this problem
Uh yes, unfortunately most if not all the graph theory problems that I’ve been working on do not have a known formula
It’s for this research challenge
Apparently they suggest that there might be a pattern in the numbers, but I’m just clueless
well what are the first few numbers
They don’t mention them.
have you computed them
Not at the moment, I mean for two vertices it’s 1, for three vertices it’s 3 I think. It’s probably going to get way harder for 4 vertices and above
yes but those are still small'ish numbers
Yeah, that’s true
this is sequence A000238 in the OEIS
i computed 1, 1, 3, 8 and then searched that and "tree" and it's the second result,
Number of oriented trees with n nodes.
Wow, I think it’s the sequence
Okay, thank you so much for this. This was definitely what I was looking for. And sorry that you had to compute for four vertices..
.close
Closed by @nova pike
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Let B = {(-1,-1,-3), (0,1,0), (2,1,4)} be a basis of R^3. Find all vectors in R^3 whose coordinates in the canonical basis are double their coordinates in the basis B.
progress?
ok time to painstakingly check whether you have done all your arithmetic correctly
I think I am misinterpreting the prob statement
yes you are, your twos are in the wrong place
is confusing
u sure?
but
do you think these are consistent or that they aren't?
the bottom one becomes $a = \frac{7}{6}c$
Ann
ye
the top one $a = -\frac{4}{3}c$
Ann
impossible
why?
then (a,b,c)=(0,0,0) and exercise is stupid
maybe the 2 goes in the lhs of the equation
otherwise prof makes a very bad exercise
yh the only solution is (0,0,0)
maybe we are misinterpreting the problem statement
no, i think it's the professor's fault for putting the things in the wrong order
you took [a,b,c] as the coords in the canonical basis
wdym?
so going by the problem statement as written
the coordinates in B would be [2a, 2b, 2c]
and you did exactly that
so it is correct as written
but if we instead take [a,b,c] as the B coordinates and [2a,2b,2c] as the canonical coordinates then suddenly we get a meaningful problem with a non-trivial answer
but you shouldn't do that
wtf
i have [
-3a + 2c = 0 \quad (1) \
-a - b + c = 0 \quad (2) \
-3a + 2c = 0 \quad (3)
]
tm
maybe he meant (v)B = 2(v)c, then
this one has a solution
yeah but you should actively not give a shit about that
and instead save receipts of what was actually said
regardless of stupidity
it is NEVER EVER your responsibility to untangle your professor's stupidity
can we re do it now with (v)B= 2(v)c
?
$v = a(-1, -1, -3) + b(0, 1, 0) + c(2, 1, 4) = (-a + 2c, -a + b + c, -3a + 4c)$ and $v=2(a,b,c)$, it gives us the system i wrote
tm
or maybe i’m wrong idk
is this (v)B = 2(v)c?
no v_c=2v_b
?
no
v_b=(a,b,c) no?
no
ah
im not sure
I am saying the case when (v)B = 2(v)C
but original problem statement was with 2(v)B = (v)C
this is when (v)B = 2(v)C
mate, when (v)C = 2(v)B we have (a,b,c) = (0,0,0)
i think [V]_C = 2 [V]_B is correct but it doesnt result in what u wrote next
no this is the case vb=2vc
when vc=2vb, u have this system
where is the mistake?
u replaced co-ordinates with the vector itself
where?
?
let a,b,c be co ordinates of V in basis B, then 2a,2b,2c must be co ordinates in basis C
vb=(a,b,c) and vc=a(-1,-1,3)+b(…)+…
u inverted vb and vc that’s why
no thats when (v)B = 2(v)C
no.. a,b,c are the co ordinates in B arent they, if u double them what do u get
those are co ordinates in C
Let B = {(-1,-1,-3), (0,1,0), (2,1,4)} be a basis of R^3. Find all vectors in R^3 whose coordinates in the canonical basis are double their coordinates in the basis B.
(v)c = 2(v)B
yes
now just put (a,b,c) in place of [V]_B
(v)C = (a,b,c)
v = a(1,0,0) + b(0,1,0) + c(0,0,1)
ok this works too
(v)C = 2(v)B
(a,b,c) = 2(v)B
yup
(v)C = 2(v)B
(a,b,c) = 2(v)B
(a/2, b/2, c/2) = (v)B
yes
tf is this
this is correct
yes, but seems nasty
just assume V_B as a,b,c instead
ull get V_C as 2a,2b,2c
2(v)B = (v)C
(v)B = (a,b,c)
v = a(-1,-1,-3) + b(0,1,0) + c(2,1,4)
2(v)B = (2a,2b,2c)
(v)C = (2a,2b,2c)
(2a,2b,2c) = a(-1,-1,-3) + b(0,1,0) + c(2,1,4)
(2a,2b,2c) = (-a,-a,-3a) + (0,b,0) + (2c,c,4c)
(2a,2b,2c) = (-a+2c,-a+b+c,-3a+4c)
i) -a + 2c - 2a = 0
ii) -a+b+c-2b = 0
iii) -3a+4c -2c = 0
- -3a + 2c = 0
- -a-b + c = 0
- -3a + 2c = 0
==> 2c = 3a
are u solving on discord 😭
===> c = a(3/2)
-a-b+a(3/2) = 0
a(-2/2 + 3/2) - b = 0
a(1/2) = b
(a,b,c) = (a, a(1/2), a(3/2))
(v)B = a(1, 1/2, 3/2)
(v)B = (a, a(1/2), a(3/2))
(v)C = 2(a,b,c) = 2(a, a(1/2), a(3/2)) = (2a, a, 3a)
v € <(2,1,3)>
from which country are you?
exercise was tricky, it was easy to mess it up
it wasnt per se hard, but it was tricky, for a sec
yes, your mistake was directly substituting the vectors in place of their co ordinates
here
hope its all clear now
mate but
lets say (v)C = (a,b,c)
then 2(v)B = (a,b,c)
ahh then (v)B = a(1/2, 1/2, 1/2)
yup
hahah, prof is nasty mate
lol
im just so bad at basic algebra
literally so stupid what I did here
there is no rationale
behind it
I like this exercises tho, is the only one I got wrong from the exercises prof gave
like when 2(v)B = (v)C
I like it
good job!
I appareciate everyone who helped tho
im just stupid
literally idk what I did
now that we went over it, is better to write down everything carefully
yes an extra step wouldve made it a lot clearer
anyways goodluck with the rest
!done
If you are done with this channel, please mark your problem as solved by typing .close
.solved
Closed by @tidal turret
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
What couldve possibly motivated this concept
so far everything has had a clear motivation, like we started from 2d real vectors, we made it so it can be any anount of dimensions, we made it so the coordinates could be members of any field
but this just like
??
think of S as your set of axes
like if you're dealing with familiar 3D vectors then a vector could be "recast" as a function {1,2,3} -> R where the value at 1 is the "x-coordinate", the value at 2 is the "y-coordinate" and at 3 is the "z-coordinate"
so it still holds three numbers' worth of info to say it informally
i think one way you could think about it is like a normal 3d vector is just 3 numbers
and then a 4d vector is just 4 numbers
what if you had like infinitely many numbers?
well that would still satisfy all the definitions of a vector space
what would a vector with infinitely many numbers be tho? stare at it enough and realise that's just a function
wait what
OH SHIT
ok that makes sense for countsblr infinities yeah
like
Naturals
but
yeah it's more intuitive for countable infinity, but like if you think about what a countable collection of numbers is, that's technically a function N -> R
anyway gtg now
ok and then
how would it be intuitive for like R->R
like F^[0,1] as given in the book as an example
whats the intuition behind what that means
1 real number = 1 axis as Ann said
you specify a real number output for each real number input/axis, that's what a function is
I still see it as an infinitely long list, but oh it's uncountable now
It's slightly harder to visualise an uncountably infinite list, but most functions have an uncountable domain and if you let go of a little bit of intuition, then it's not too bad
it's already hard enough to visualize >3D spaces so don't expect much visual intuition
but plotting an individual R->R function is 'easy'
The countable version:
[8, 3, 2, 5, ...] = {1 -> 8, 2 -> 3, 3 -> 2, 4 -> 5, ...}
We're doing the same thing but not counting up in naturals any more
imagine moving all the knobs for each real number input and there's your space
ok so a function is just a pair of numbers
in the N->R case it can be represented as a list of integers, but implicitly its like (1,f(1)),(2,(f(2)) etc
which we just write as f(1),f(2)
okay so an individual vector in R->R would just be any mapping between real numbers
yep
and then the space
is just the list of all of these mappings
so each vector
is still just a list of coordinates of the function
but now its unordered
so each vector is just a list of points
wait
Yeah
each vector is just a list of points
a function is a list of points so yes indeed
wait if in countable sets length of a vector is defined as sqrt(x1^2+x2^2…) and thats a sum would the length of a vector in R->R be sqrt(integral from negative infinity to infinity of (f(x)^2))
im 90% sure this is just incoherent rambling
Also this function definition of a vector space gives a very obvious method of multiplication of vectors, composition
if you can actually compose in the first place
good point
was anyrhing i was saying here making any sense?
The integral statement is correct
sqrt(integral from negative infinity to infinity of (f(x)^2))
that is actually a thing yes
when the integral exists
Although it's over the domain of the function, which is not always -inf to inf
In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue (Dunford & Schwartz 1958, III.3), although according to the Bourbaki group (Bourbaki 1987) they were first introduced by Frigyes Riesz (...
holy shit im partially right
There are different norms
The obvious ones being the L1 norm and L2 norm
L1 norm = Int [domain] |f(x)| dx
L2 norm = √( Int [domain] (f(x))^2 dx )
The L2 norm is the standard vector norm
L1 is called the taxicab norm
Which is basically... travelling along the vector without diagonal movement, if that makes sense
Like a taxi in New York (it can't pass through the buildings)
So yes, you can do the vector norm to functions with a little mathemagic
oh yeah makes sensel
alright so
i kinda grt it
this vector definition is just the continuous version of the other vector definition
yeah but like continuous generalization, just like how N is in R but theres also more
it englobes essentially all possible vector spaces yea
axler put it out there as a clever example, but most stuff in the book is about finite dimensions anyway
okay i have a better intuition now, basically this definition of a vector space comes from the other definition but someone realized “hey, infinite ordered list of real numbers? Thats just a function N->R”
yea
and then they were “what if we made it just any general function from anything to F
Closed by @spring latch
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
If n^2<a<b<(n+1)^2 , with a,b,n from N* , then prove that the product ab is NOT a perfect square
Take this with a grain of salt (i.e., I am not sure if this is correct).
Let a = n^2 + A and b = n^2 + B with A neq = B.
Then ab = (n^2 + A)(n^2 + B) = n^4 + n^2(A+B) + AB.
Assume ab = (n^2 + C)^2 (i.e., ab is a perfect square).
Then ab = n^4 + n^2(A+B) + AB = (n^4 + C^2 + 2n^2 C)
=> (A+B) = 2C and AB = C^2
C = (A+B)/2
=> AB = [(A+B)/2]^2
=> (A^2 + B^2 + 2AB - 4AB) = 0
=> (A-B)^2 = 0
A = B, contradicting our assumption of A and B being not equal.
Then ab = n^4 + n^2(A+B) + AB = (n^4 + C^2 + 2n^2 C)
=> (A+B) = 2C and AB = C^2
how?
Comparing the coefficients.
n can be any number for N
they arent required to be the same polynomials, they only need to be same numbers
thats like saying
5^2 - 4*5 - 3 = 2^2 + 2 - 4
and so -4 = 1 and -3 = -4
How?
n is not constant bro
I cancelled n^4.
comparing the coefficients
a,b,n can be any natural number, i can t prove just for a case
it is practically constant at the point of @cursive swan proof where he did that coefficient comparing thing
comparing the coefficients works only if they are supposed to be exactly the same polynomials, i.e. have the same value for all different n
So how I approach this
one could probably try to use prime factorization in some way
you know that a and b cant be perfect squares
write a = a' * k1^2, b = b' * k2^2, where k1 and k2 are the largest possible squares
then a' and b' must have primes with exponent at most 1 in their factorization
this is where I'd start
try doing sth yourself now
namely, i'd try multiplying those new forms of a and b to get the product of ab
then try proving that it can never be a square
you can also use numbers to convince yourself of the result and perhaps also get a hint on why it's true
Here, instead of doing that "comparing" thing, can t i simply say (n^2+C)^2=(n^2+A)(n^2+B) ?
Because they are both ab
I mean that s what i assumed
Well yes, (n^2+C)^2=(n^2+A)(n^2+B)
So what do i get from here
I got what I wanted to, you asked whether this equation holds, I said yes, it's now your responsibility to do anything else
How? Did you again compare the coefficeints?
We have n^2(A+B) + AB = 2C n^2 + C^2
Yeah
Now what did you do.
How can you conclude that C^2 = AB?
I did /-2Cn^2 - C^2
Then factorized with n^2
Those with A+B and 2C
I got lost , what are these constants ABC
did you resolve this?
it comes from this
yes, they are currently trying to use the algebraic approach, without repeating that mistake. (which i honestly think is kinda hopeless)
Oh , so i resolve the 2nd grade eequation?
perhaps it's time to switch strategies
I don't know the solution, but I'm wondering if maybe it would be easier to consider
$$n^2 + 1 \le a + 1 \le b \le n^2 + 2n +2$$
gfauxpas
i did the prime factorization one (only in my head for now), but i think it works
ill just try writing it on a paper to check
then breaking it up to
Please enlighten me with that
. I explained the beginning here
if you just play with it for a while, you should see what im going for
hmm
take some numbers between e.g. 25 and 36 and try to make their product to be a square
and analyse why you fail
yeah this might work
yeah, it does work, just scribbled it on a paper
dont fully spoil it, i think its worth trying to figure it out for at least like 10 mins
$$n^2 + 1 \le a + 1 \le b \le n^2 + 2n +2$$
$$-n^2 -2n -2 \le -b \le -a-1 \le -n^2 -1$$
gfauxpas
oh this
I didn't finish it, but I think this would be possible, you would still make a prime factorization argument
How does this help
honestly - i think the best way to approach this is to try finding counterexample, until you understand why you cant find one
Wait so i tried
So i know that every perfect square is a summation of consecutive odd numbers
Can this help?
hmm im not sure how
That means a and b are not sum of consecutive odd numbers
summation doesnt play very well with the multiplication in a*b
Because they are not p.s.
working on if it helps