• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 15:28
CEST 21:28
KST 04:28
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
[ASL21] Ro24 Preview Pt2: News Flash10[ASL21] Ro24 Preview Pt1: New Chaos0Team Liquid Map Contest #22 - Presented by Monster Energy18ByuL: The Forgotten Master of ZvT30Behind the Blue - Team Liquid History Book20
Community News
Weekly Cups (May 30-Apr 5): herO, Clem, SHIN win0[BSL22] RO32 Group Stage3Weekly Cups (March 23-29): herO takes triple6Aligulac acquired by REPLAYMAN.com/Stego Research8Weekly Cups (March 16-22): herO doubles, Cure surprises3
StarCraft 2
General
Weekly Cups (May 30-Apr 5): herO, Clem, SHIN win Rongyi Cup S3 - Preview & Info Team Liquid Map Contest #22 - Presented by Monster Energy Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool What mix of new & old maps do you want in the next ladder pool? (SC2)
Tourneys
GSL CK - monthly team event Sparkling Tuna Cup - Weekly Open Tournament RSL Season 4 announced for March-April StarCraft Evolution League (SC Evo Biweekly) WardiTV Mondays
Strategy
Custom Maps
[M] (2) Frigid Storage Publishing has been re-enabled! [Feb 24th 2026]
External Content
The PondCast: SC2 News & Results Mutation # 520 Moving Fees Mutation # 519 Inner Power Mutation # 518 Radiation Zone
Brood War
General
ASL21 General Discussion Pros React To: JaeDong vs Queen [BSL22] RO32 Group Stage so ive been playing broodwar for a week straight. Gypsy to Korea
Tourneys
[Megathread] Daily Proleagues [ASL21] Ro24 Group F Escore Tournament StarCraft Season 2 [ASL21] Ro24 Group E
Strategy
What's the deal with APM & what's its true value Fighting Spirit mining rates Simple Questions, Simple Answers
Other Games
General Games
Nintendo Switch Thread Stormgate/Frost Giant Megathread Starcraft Tabletop Miniature Game General RTS Discussion Thread Darkest Dungeon
Dota 2
The Story of Wings Gaming Official 'what is Dota anymore' discussion
League of Legends
G2 just beat GenG in First stand
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
US Politics Mega-thread The Chess Thread Russo-Ukrainian War Thread NASA and the Private Sector Things Aren’t Peaceful in Palestine
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Manga] One Piece [Req][Books] Good Fantasy/SciFi books Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion Cricket [SPORT] Tokyo Olympics 2021 Thread General nutrition recommendations
World Cup 2022
Tech Support
[G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Loot Boxes—Emotions, And Why…
TrAiDoS
Broowar part 2
qwaykee
Funny Nicknames
LUCKY_NOOB
Iranian anarchists: organize…
XenOsky
FS++
Kraekkling
ASL S21 English Commentary…
namkraft
Electronics
mantequilla
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1582 users

The Math Thread - Page 25

Forum Index > General Forum
Post a Reply
Prev 1 23 24 25 26 27 32 Next All
Rodya
Profile Joined January 2018
546 Posts
Last Edited: 2019-02-22 00:18:15
February 22 2019 00:05 GMT
#481
Okay, I see what you were doing. Notice that x*sech^2(w^T x) is a vector - this is what you're saying is the gradient of f in this other problem. And that is indeed the correct answer.

Now going back to the original problem, let me just write the answer so you can see the differences: (1/2)(sum from i to m)x^(i)(w^Tx^(i)-y^(i)) / |w^Tx^(i)-y^(i)|. Apologies for misreading your answer. You are using some shortcuts to calculate the whole gradient at once. Which is fine, but I wasn't expecting it.

Let me give you a quick calculus review. So, the output of f(w) is a number (it looks like a loss function). However, f(w) is a multivariable function, it has as many variables as there are elements in w. Now, I'm assuming that w is a vector, not a matrix, although it definitely could be, lets assume for now that it is a vector. You talk about the derivative of f with respect to w, however think about the function g(z) = z_1+2z_2+3z_3 where z=(z_1, z_2,z_3) is some vector. Now you probably can guess that the 'derivative' of g is equal to (1,2,3), but strictly speaking, you can only take a derivative with respect to a single dimensional variable (i.e. something that varies over the real numbers and therefore isnt a vector). Thus we can't calculate dg/dz, we can only calculate dg/dz_1, dg/dz_2, and dg/dz_3. So we simply DEFINE dg/dz to be the VECTOR (dg/dz_1, dg/dz_2, dg/dz_3), which you can easily check is equal to (1,2,3). Similarly, the derivative of f(w) is defined to be the vector (df/dw_1, ..., df/dw_D). You can check your work and see that the answer I gave you can be found using either your method or the method of partial derivatives. I'm actually lying a bit to you here, but it's very useful (and I'm sure your teacher expects you) to think of the derivative of g/f this way. It will help to demystify some of your derivations and let you check your work using basic calculus.

Earlier you mentioned that you were anxious about taking derivatives of matrices - so since you've mentioned it again, let me briefly justify the fact that d/dw (w^T x) = x. Let x be an arbitrary matrix, then we can think of it as a linear transformation that maps vectors w to xw. Therefore, if we denote that linear transformation by f(w), we have f(w) = xw. Now, a derivative is supposed to be the best linear approximation of a function at each point. But a linear transformation is linear everywhere, so it is ITSELF the best linear approximation to ITSELF at every point. Thus the best linear approximation (i.e. the derivative) of f(w) is x. So d/dw(f(w)) = x. Hopefully it gives you some peace of mind at least, even if it isn't a rigorous argument.
Banned for saying "zerg players are by far the biggest whiners in sc2 history" despite the fact that this forum is full of such posts about Terrans. Foreigner Elitists in control!
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
February 22 2019 00:09 GMT
#482
how are you so nice here when you're so mean to foreign pros in power rankings

just teasing, thanks for all the responses. I'll check this out closely when I am done with dinner.
Rodya
Profile Joined January 2018
546 Posts
Last Edited: 2019-02-22 00:17:18
February 22 2019 00:13 GMT
#483
Oh, and you asked about whether since x^(i) is a vector, that x is a matrix. You haven't defined x yet, I have no clue what it is. It's possible that in your book, the notation used is that x^(i) is the i'th column or row of x. If that is the case, then x would be a matrix. If your book does not use that notation though, then x isn't anything - it is undefined, so don't think about it and don't let it appear in your derivations unless you define it first.

edit: I'm an enigma.
Banned for saying "zerg players are by far the biggest whiners in sc2 history" despite the fact that this forum is full of such posts about Terrans. Foreigner Elitists in control!
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
February 22 2019 23:02 GMT
#484
I solved the last two derivatives on my own... they were horrible and long but they used the same concepts.

In other news, I am being forced to turn my homework in using latex, and it includes graphs and stuff. This does not seem worth it, it is making my homework take SOOOO long to do, and I expect that people outside of academia don't really end up using this so I am not sure why the professor wouldn't let us write it on a damn piece of paper
Rodya
Profile Joined January 2018
546 Posts
February 23 2019 00:52 GMT
#485
If your professor is okay with it, you can cut down the time it takes to put graphs in the document by using snipping tool (or screen shot) to take a picture of the graph, then use \includegraphics{mypicture.png} to insert the graph crudely into the doc. You can also manually adjust the size of the picture.

You gotta include \usepackage{graphicx} in the preamble though to do that.

Also, http://detexify.kirelabs.org/classify.html is your best friend. Just draw any symbol and it will tell you how to make it, and if you need a special package to do so.
Banned for saying "zerg players are by far the biggest whiners in sc2 history" despite the fact that this forum is full of such posts about Terrans. Foreigner Elitists in control!
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
February 23 2019 01:35 GMT
#486
that symbol classifier - whoever made that is a hero
Acrofales
Profile Joined August 2010
Spain18255 Posts
February 23 2019 01:47 GMT
#487
Latex is great. Drawing graphs with latex is absurd. Just use whatever and include them as images. Tikz is awesome for making pretty diagrams, but there are much better and easier ways of drawing graphs.

Yes, nobody outside of (computer) science uses it, but you're being the trained as a computer scientist, so I don't see the problem with learning it. We had to learn it in 1st year CS, and once you get the hang of it, you'll never want to use Word again ever.
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
Last Edited: 2019-02-23 01:50:18
February 23 2019 01:49 GMT
#488
Well I don't use word either(unless I am forced to), I just write stuff on paper and then scan it to pdf. As long as the handwriting is legible I can't imagine latex being superior to that, but maybe I am wrong?

I suppose I would want it for publishing any papers, though...
Acrofales
Profile Joined August 2010
Spain18255 Posts
February 23 2019 09:58 GMT
#489
On February 23 2019 10:49 travis wrote:
Well I don't use word either(unless I am forced to), I just write stuff on paper and then scan it to pdf. As long as the handwriting is legible I can't imagine latex being superior to that, but maybe I am wrong?

I suppose I would want it for publishing any papers, though...

"As long as the handwriting is legible" is the key point there, though. Remember that your professor is going to have to correct and grade this work for everybody in your class, not just you.
Mr. Wiggles
Profile Blog Joined August 2010
Canada5894 Posts
February 23 2019 18:10 GMT
#490
LaTeX is one of my hidden shames, since I use it quite a bit but have never actually spent the time to sit down and learn how it really works. In that sense, a lot of it is 'magic' to me since I mostly know the proper rituals and incantations but would have a hard time rebuilding my collection of useful patterns from scratch.

For graphs (if we're talking figures) I've never used LaTeX directly. I usually use gnuplot (ugly) and then include the PNG into the LaTeX document. There's much nicer graphing libraries out there, I've just never spent the time to find them.

For drawing graphs (if we're talking graph-theory) I've mostly used the Tikz library, as mentioned. I found the Tikz automata library very useful for drawing things like DFAs, NFAs, etc. in courses that required it.

In some math electives I took I ended up using LaTeX for all the coursework. The profs seemed to appreciate it, and I found that it actually cut down on the writing time overall.
you gotta dance
neptunusfisk
Profile Blog Joined July 2012
2286 Posts
February 23 2019 23:19 GMT
#491
On February 24 2019 03:10 Mr. Wiggles wrote:
I usually use gnuplot (ugly) and then include the PNG into the LaTeX document.


Gnuplot can export to vectorised formats...
maru G5L pls
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
February 26 2019 16:12 GMT
#492
I wanted to verify a true or false section on my homework that I did, it's abstract algebra groups. I just want to make sure I am understanding this stuff correctly. Note that the * denotes that the set does not contain 0

T/F:

1.) Q(under addition) us a subgroup of R (under addition): true

2.) R* (under addition) is a subgroup of R (under addition): false (no identity in R*)

3.) R* (under multiplication) us a subgroup of R (with addition): false (they need to be same operation right?)

4.) {1,-1} (under multiplication) is a subgroup of R* (under multiplication): true

5.): {2^k : k in Z} (under multiplication) is a subgroup of Q* (under multiplication): false (no zero in Q* so no inverse for 2^k... am I understanding that right?)

Acrofales
Profile Joined August 2010
Spain18255 Posts
February 26 2019 16:45 GMT
#493
5) seems true to me. look at it again, but the lack of 0 doesn't matter.
mahrgell
Profile Blog Joined December 2009
Germany3943 Posts
February 26 2019 17:20 GMT
#494
At first glance I would also consider 3 true.
Acrofales
Profile Joined August 2010
Spain18255 Posts
February 26 2019 17:29 GMT
#495
On February 27 2019 02:20 mahrgell wrote:
At first glance I would also consider 3 true.

While I can't remember the exact definition of a subgroup, so maybe it just isn't even defined properly if the operators are different. But mostly R* doesn't have 0, so doesn't have the ident for addition, and thus is not a group with addition, and therefore also not a subgroup.
mahrgell
Profile Blog Joined December 2009
Germany3943 Posts
February 26 2019 17:45 GMT
#496
On February 27 2019 02:29 Acrofales wrote:
Show nested quote +
On February 27 2019 02:20 mahrgell wrote:
At first glance I would also consider 3 true.

While I can't remember the exact definition of a subgroup, so maybe it just isn't even defined properly if the operators are different. But mostly R* doesn't have 0, so doesn't have the ident for addition, and thus is not a group with addition, and therefore also not a subgroup.

For the multiplication the 1 is the same as the 0 for the addition.
Acrofales
Profile Joined August 2010
Spain18255 Posts
Last Edited: 2019-02-26 17:57:15
February 26 2019 17:52 GMT
#497
On February 27 2019 02:45 mahrgell wrote:
Show nested quote +
On February 27 2019 02:29 Acrofales wrote:
On February 27 2019 02:20 mahrgell wrote:
At first glance I would also consider 3 true.

While I can't remember the exact definition of a subgroup, so maybe it just isn't even defined properly if the operators are different. But mostly R* doesn't have 0, so doesn't have the ident for addition, and thus is not a group with addition, and therefore also not a subgroup.

For the multiplication the 1 is the same as the 0 for the addition.

Yes... so?

A group is not a subgroup of an other just because it is a group and the elements are a subset. It has to include the identity.


And googling it:
https://en.wikipedia.org/wiki/Subgroup

Including the identity is not enough either, it definitely needs to be a group under the same operator, so can't simply redefine the group operator in the subgroup. So (3) fails on both those points.
mahrgell
Profile Blog Joined December 2009
Germany3943 Posts
February 26 2019 18:55 GMT
#498
On February 27 2019 02:52 Acrofales wrote:
Show nested quote +
On February 27 2019 02:45 mahrgell wrote:
On February 27 2019 02:29 Acrofales wrote:
On February 27 2019 02:20 mahrgell wrote:
At first glance I would also consider 3 true.

While I can't remember the exact definition of a subgroup, so maybe it just isn't even defined properly if the operators are different. But mostly R* doesn't have 0, so doesn't have the ident for addition, and thus is not a group with addition, and therefore also not a subgroup.

For the multiplication the 1 is the same as the 0 for the addition.

Yes... so?

A group is not a subgroup of an other just because it is a group and the elements are a subset. It has to include the identity.


And googling it:
https://en.wikipedia.org/wiki/Subgroup

Including the identity is not enough either, it definitely needs to be a group under the same operator, so can't simply redefine the group operator in the subgroup. So (3) fails on both those points.



At least we learned a more theoretical version, where it is enough to be isomorph to a subgroup (by the your/wiki definition) of supposed supergroup to be considered a subgroup in a group theoretical point of view.
How you name your elements and ops really doesn't matter then. And then obviously your isomorphism images the identity of one group onto the identity of the other group.

Now there is a trivial isomorphism (ln(x)) between (R+\{0}, *) and (R,+).

This is in fact, what led me to my initial thought. But at least right now, I can't expand this to {R\{0},*}. Which leads me to believe that this is indeed false, just for very different reasons.


Melliflue
Profile Joined October 2012
United Kingdom1389 Posts
Last Edited: 2019-02-26 19:02:54
February 26 2019 18:58 GMT
#499
I think (3) is highlighting the issue about the operator and not the identity (Travis is correct, different operator so not a subgroup). Needing the identity was the purpose of example (2).

(5) is true and I don't know where the confusion came from. The lack of zero in Q* is irrelevant. The inverse for 2^k is 2^(-k) so you are fine when k ranges over Z.

Edit: To the above, being isomorphic to a subgroup is not the same as being a subgroup. There are times when the distinction is not important so we treat isomorphic subgroups as subgroups (mathematicians are often lazy like that). Sometimes however it can cause problems and it is important to remember they are different.
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
February 27 2019 02:13 GMT
#500
ah right, the identity in 5.) is 1.. not 0. the confusion was that I was thinking 2^0 = 1 .. temporarily forgetting that the member of my group is 2^k, not k. if that confuses you don't worry about it, my thinking clearly didn't make sense. glad I posted them though!
Prev 1 23 24 25 26 27 32 Next All
Please log in or register to reply.
Live Events Refresh
Next event in 4h 33m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
mouzHeroMarine 582
UpATreeSC 151
BRAT_OK 147
Hui .113
goblin 21
StarCraft: Brood War
Calm 3546
Mini 748
Shuttle 309
ggaemo 228
actioN 207
firebathero 145
Dewaltoss 120
Soulkey 117
910 25
GoRush 6
Dota 2
monkeys_forever255
Counter-Strike
pashabiceps2053
Heroes of the Storm
Liquid`Hasu334
Other Games
Grubby3169
summit1g1867
FrodaN1102
B2W.Neo566
ArmadaUGS140
C9.Mang0134
Sick75
Mew2King68
Trikslyr48
Organizations
StarCraft 2
angryscii 22
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 18 non-featured ]
StarCraft 2
• Adnapsc2 21
• Reevou 7
• intothetv
• IndyKCrew
• sooper7s
• AfreecaTV YouTube
• Migwel
• LaughNgamezSOOP
• Kozan
StarCraft: Brood War
• Azhi_Dahaki28
• STPLYoutube
• ZZZeroYoutube
• BSLYoutube
Dota 2
• WagamamaTV1290
• lizZardDota286
Other Games
• imaqtpie1067
• Scarra440
• Shiphtur226
Upcoming Events
PiGosaur Cup
4h 33m
Replay Cast
13h 33m
Kung Fu Cup
15h 33m
Replay Cast
1d 4h
The PondCast
1d 14h
CranKy Ducklings
2 days
WardiTV Team League
2 days
Replay Cast
3 days
CranKy Ducklings
3 days
WardiTV Team League
3 days
[ Show More ]
uThermal 2v2 Circuit
3 days
BSL
3 days
Sparkling Tuna Cup
4 days
WardiTV Team League
4 days
BSL
4 days
Replay Cast
5 days
Replay Cast
5 days
Wardi Open
5 days
GSL
6 days
Liquipedia Results

Completed

CSL Elite League 2026
RSL Revival: Season 4
NationLESS Cup

Ongoing

BSL Season 22
ASL Season 21
CSL 2026 SPRING (S20)
StarCraft2 Community Team League 2026 Spring
Nations Cup 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026

Upcoming

Escore Tournament S2: W2
IPSL Spring 2026
Escore Tournament S2: W3
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
RSL Revival: Season 5
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026
CCT Season 3 Global Finals
IEM Rio 2026
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.