If $G$ is triangle-free does that imply it is a complete bipartite graph?
I know every bipartite graph is triangle free, and any complete bipartite graph has no triangles but does a graph being triangle free imply it's a complete bipartite graph? Also, are the independent sets in the triangle free graph (if the above is true) equal?
Trivially no. If you remove edges from a triangle-free graph then you get another triangle-free graph, whereas if you remove edges from a complete bipartite graph you get a graph which is bipartite but not complete. Therefore this could only be the case if all triangle-free graphs were edgeless.